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

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

en Limba Engleză Paperback – 21 ian 2005

Preț: 319^.75 lei

Preț vechi: 399^.68 lei
-20% Nou

Puncte Express: 480

:
56^.58€ • 65^.98$ • 49^.68£

Carte tipărită la comandă

Livrare economică 16-30 ianuarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540242871
ISBN-10: 3540242872
Pagini: 272
Ilustrații: IX, 258 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.42 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste