Construction and analysis of safe, secure, and interoperable smart devices

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.