02825nam 2200589 a 450 991048464930332120200520144314.03-540-30569-610.1007/b105030(CKB)1000000000212681(SSID)ssj0000129326(PQKBManifestationID)11131663(PQKBTitleCode)TC0000129326(PQKBWorkID)10078505(PQKB)11055436(DE-He213)978-3-540-30569-9(MiAaPQ)EBC3068290(PPN)123091020(EXLCZ)99100000000021268120041206d2005 uy 0engurnn#008mamaatxtccrConstruction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /Gilles Barthe ... [et al.] (eds.)1st ed. 2005.Berlin Springer20051 online resource (IX, 258 p.)Lecture notes in computer science,0302-9743 ;3362Hot topicsBibliographic Level Mode of Issuance: Monograph3-540-24287-2 Includes bibliographical references and index.Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation in Java Card -- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security Policies -- Smart Devices for Next Generation Mobile Services -- A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking -- Combining Several Paradigms for Circuit Validation and Verification -- Smart Card Research Perspectives.Hot topics (Berlin, Germany)Lecture notes in computer science ;3362.CASSIS 2004Smart cardsSecurity measuresCongressesData transmission systemsSecurity measuresCongressesSmart cardsSecurity measuresData transmission systemsSecurity measures332.1/78Barthe Gilles1967-180568CASSIS (Conference)MiAaPQMiAaPQMiAaPQBOOK9910484649303321Construction and analysis of safe, secure, and interoperable smart devices4186448UNINA