Construction and Analysis of Safe, Secure, and Interoperable Smart Devices | Zendy

Gilles Barthe | Zendy; Benjamin Grégoire | Zendy; Marieke Huisman | Zendy; Jean-Louis Lanet | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Author(s) -

Gilles Barthe,

Benjamin Grégoire,

Marieke Huisman,

Jean-Louis Lanet

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/11741060

Subject(s) - computer science , interoperability , computer security , world wide web

The 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research