Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers

Construction and analysis of safe, secure, and interoperable smart devices international workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers

Literaturangaben

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: CASSIS (BerichterstatterIn)
Weitere Verfasser: Barthe, Gilles (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2005
Schriftenreihe:Lecture notes in computer science 3362
Schlagworte:
Smart cards > Congresses > Data transmission systems > Konferenzschrift > Chipkarte > Datensicherung > Zugriffskontrolle > Interoperabilität > Betriebssystem > Programmierumgebung > Model Checking > Formale Methode
Online Zugang:Cover
Einführung/Vorwort
Inhaltsverzeichnis
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3362
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Literaturangaben
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, held in Marseille, France in March 2004. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are devoted to trends in smart card research, operating systems and virtual machine technologies, secure platforms, security, application validation, verification, and formal modelling and formal methods
Beschreibung:VI, 256 S.
Ill.
235 mm x 155 mm
ISBN:3540242872
3-540-24287-2