Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

272 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Lexika Forschung und Information, allgemein Kodierungstheorie und Verschlüsselung (Kryptologie)
• ISBN: 9783540242871
• Sprache: Englisch
• Erscheinungsdatum: 21.01.2005
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Gilles Barthe, Traian Muntean, Jean-Louis Lanet, Lilian Burdy, Marieke Huisman