Das Buch ist derzeit nicht auf Lager
Construction and analysis of safe, secure, and interoperable smart devices
Autoren
Parameter
Mehr zum Buch
InhaltsverzeichnisThe Architecture of a Privacy-Aware Access Control Decision Component.Mobile Resource Guarantees and Policies.Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.Romization: Early Deployment and Customization of Java Systems for Constrained Devices.Typed Compilation Against Non-manifest Base Classes.The Design of Application-Tailorable Operating System Product Lines.Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.Modular Proof Principles for Parameterised Concretizations.Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.
Buchkauf
Construction and analysis of safe, secure, and interoperable smart devices, Gilles Barthe
- Sprache
- Erscheinungsdatum
- 2006
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Construction and analysis of safe, secure, and interoperable smart devices
- Sprache
- Englisch
- Autor*innen
- Gilles Barthe
- Verlag
- Springer
- Erscheinungsdatum
- 2006
- ISBN10
- 3540336893
- ISBN13
- 9783540336891
- Reihe
- Lecture notes in computer science
- Kategorie
- Skripten & Universitätslehrbücher
- Beschreibung
- InhaltsverzeichnisThe Architecture of a Privacy-Aware Access Control Decision Component.Mobile Resource Guarantees and Policies.Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.Romization: Early Deployment and Customization of Java Systems for Constrained Devices.Typed Compilation Against Non-manifest Base Classes.The Design of Application-Tailorable Operating System Product Lines.Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.Modular Proof Principles for Parameterised Concretizations.Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.