Construction and Analysis of Safe, Secure, and Interoperable Smart Devices  Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /  [electronic resource] : 
edited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet. 
 - 1st ed. 2006. 
 - X, 173 p.  online resource. 
 - Security and Cryptology,  3956  2946-1863 ; .
 - Security and Cryptology,  3956 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540336914 
<br/><br/><label>Standard No.: </label>10.1007/11741060  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computers, Special purpose.<br/>Computer programming.<br/>Compilers (Computer programs).<br/>Operating systems (Computers).<br/>Computer science.<br/>Software Engineering.<br/>Special Purpose and Application-Based Systems.<br/>Programming Techniques.<br/>Compilers and Interpreters.<br/>Operating Systems.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1