Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
CASSIS (Conference)Corporate Author
CASSIS (Conference)(2nd :2005 :Nice, France)
CASSIS (Conference)
Institut national de recherche en informatique et en automatique (France)
Barthe, Gilles.editor.
Gregoire, Benjamin.editor.
Huisman, Marieke.editor.
Lanet, Jean-Luis.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Software engineering.
Special purpose computers.
Computer programming.
Programming languages (Electronic computers).
Operating systems (Computers).
Computer logic.
Software Engineering.
Special Purpose and Application-Based Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.