Das Buch ist derzeit nicht auf Lager
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
- 2005
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Construction and analysis of safe, secure, and interoperable smart devices
- Sprache
- Englisch
- Autor*innen
- Gilles Barthe
- Verlag
- Springer
- Verlag
- 2005
- ISBN10
- 3540242872
- ISBN13
- 9783540242871
- Kategorie
- Informatik & Programmierung
- 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.