ISBN: 9783540242871 - construction and analysis of safe, secure, and interoperable smart devices: international workshop, cassis 2004, marseille, france, march 10-14, 2004, ... notes in computer science, 3362, band 3362) (3 Ergebnisse)

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Zustand: As New. Unread book in perfect condition.