Barthe / Burdy / Huisman | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices | E-Book | sack.de
E-Book

E-Book, Englisch, 258 Seiten, eBook

Reihe: Security and Cryptology

Barthe / Burdy / Huisman Construction and Analysis of Safe, Secure, and Interoperable Smart Devices


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

E-Book, Englisch, 258 Seiten, eBook

Reihe: Security and Cryptology

ISBN: 978-3-540-30569-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Barthe / Burdy / Huisman Construction and Analysis of Safe, Secure, and Interoperable Smart Devices jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Barthe, Gilles
Burdy, Lilian
Huisman, Marieke
Lanet, Jean-Louis
Muntean, Traian

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.