Cover Image
Read Now

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Bibliographic Details
Other Authors: Barthe, Gilles (Editor), Gregoire, Benjamin (Editor), Huisman, Marieke (Editor), Lanet, Jean-Luis (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2006, 2006
Edition:1st ed. 2006
Series:Security and Cryptology
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Operating Systems
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Operating Systems (computers)
Special Purpose And Application-based Systems
Computers, Special Purpose
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02297nmm a2200421 u 4500
001 EB000375942
003 EBX01000000000000000228994
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783540336914 
100 1 |a Barthe, Gilles  |e [editor] 
245 0 0 |a Construction and Analysis of Safe, Secure, and Interoperable Smart Devices  |h Elektronische Ressource  |b Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers  |c edited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet 
250 |a 1st ed. 2006 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2006, 2006 
300 |a X, 173 p  |b online resource 
505 0 |a 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 
653 |a Compilers (Computer programs) 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Compilers and Interpreters 
653 |a Operating Systems 
653 |a Software engineering 
653 |a Programming Techniques 
653 |a Computer science 
653 |a Computer programming 
653 |a Operating systems (Computers) 
653 |a Software Engineering 
653 |a Special Purpose and Application-Based Systems 
653 |a Computers, Special purpose 
700 1 |a Gregoire, Benjamin  |e [editor] 
700 1 |a Huisman, Marieke  |e [editor] 
700 1 |a Lanet, Jean-Luis  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Security and Cryptology 
028 5 0 |a 10.1007/11741060 
856 4 0 |u https://doi.org/10.1007/11741060?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 

Similar Items