Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (eBook, PDF)

International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Redaktion: Barthe, Gilles; Muntean, Traian; Lanet, Jean-Louis; Huisman, Marieke; Burdy, Lilian

• Format: PDF

Produktdetails

• Verlag: Springer-Verlag GmbH
• Seitenzahl: 258
• Erscheinungstermin: 28. Januar 2005
• Englisch
• ISBN-13: 9783540305699
• Artikelnr.: 44133801

Autorenporträt

Gilles Barthe, INRIA Sophia-Antipolis, France / Lilian Burdy, INRIA Sophia-Antipolis, France / Marieke Huisman, INRIA Sophia-Antipolis, France / Jean-Louis Lanet, INRIA Sophia-Antipolis, France / Traian Muntean, Université de la Méditerranée, France

Inhaltsangabe

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.