02636nam 2200577 a 450 991048350810332120200520144314.03-540-33691-510.1007/11741060(CKB)1000000000232943(SSID)ssj0000316991(PQKBManifestationID)11225859(PQKBTitleCode)TC0000316991(PQKBWorkID)10286977(PQKB)10383515(DE-He213)978-3-540-33691-4(MiAaPQ)EBC3068001(PPN)123133904(EXLCZ)99100000000023294320060317d2006 uy 0engurnn#008mamaatxtccrConstruction and analysis of safe, secure, and interoperable smart devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers /Gilles Barthe ... [et al.], (eds.)1st ed. 2006.Berlin Springerc20061 online resource (X, 173 p.)Lecture notes in computer science,0302-9743 ;3956Bibliographic Level Mode of Issuance: Monograph3-540-33689-3 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.Lecture notes in computer science ;3956.CASSIS 2005Computer storage devicesCongressesComputer securityCongressesComputer storage devicesComputer security005.1Barthe Gilles1967-180568Institut national de recherche en informatique et en automatique (France)CASSIS (Conference)MiAaPQMiAaPQMiAaPQBOOK9910483508103321Construction and analysis of safe, secure, and interoperable smart devices4186448UNINA