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 / edited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet.
Contributor(s): Barthe, Gilles [editor.]
| Gregoire, Benjamin [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Luis [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Security and Cryptology: 3956Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006.Description: X, 173 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540336914.Subject(s): Software engineering | Computers, Special purpose | Computer programming | Compilers (Computer programs) | Operating systems (Computers) | Computer science | Software Engineering | Special Purpose and Application-Based Systems | Programming Techniques | Compilers and Interpreters | Operating Systems | Computer Science Logic and Foundations of ProgrammingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online 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.
There are no comments for this item.