Konferenzschrift | Kongress
Construction and analysis of safe, secure, and interoperable smart devices : international workshop ; revised selected papers
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
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540242871
3540242872
- Maße
-
24 cm
- Umfang
-
VI, 256 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 3362 : Hot topics
- Klassifikation
-
Informatik
- Schlagwort
-
Smart Device
Datensicherung
Zugriffskontrolle
Interoperabilität
Smart Device
Betriebssystem
Programmierumgebung
Smart Device
Model Checking
Formale Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
2005
- Beteiligte Personen und Organisationen
-
Barthe, Gilles
CASSIS (2004 : Marseille)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Barthe, Gilles
- CASSIS (2004 : Marseille)
- Springer
Entstanden
- 2005
Ähnliche Objekte (12)
Safe and secure software reuse : proceedings
Analysis and design for secure and interoperable distributed health information systems
Leadership, safe & secure
A secure interoperable architecture for building-automation applications
Secure Microkernel for Deeply Embedded Devices
The Challenge of being safe and secure : designing process interfaces between safety and security
Secure Web Service Clients on Mobile Devices
Interoperable language resources
Interoperable language resources
Safe and secure I/O sharing for mixed-criticality embedded real-time systems for avionics
Architecture of secure IoT devices: Security by design
Secure and Safe Updates for Your Embedded Device: (And how to solve this with the RAUC update tool)
Safe and secure software reuse : proceedings
Analysis and design for secure and interoperable distributed health information systems
Leadership, safe & secure
A secure interoperable architecture for building-automation applications
Secure Microkernel for Deeply Embedded Devices
The Challenge of being safe and secure : designing process interfaces between safety and security
Secure Web Service Clients on Mobile Devices
Interoperable language resources
Interoperable language resources
Safe and secure I/O sharing for mixed-criticality embedded real-time systems for avionics
Architecture of secure IoT devices: Security by design
Secure and Safe Updates for Your Embedded Device: (And how to solve this with the RAUC update tool)
Safe and secure software reuse : proceedings
Analysis and design for secure and interoperable distributed health information systems
Leadership, safe & secure
A secure interoperable architecture for building-automation applications
Secure Microkernel for Deeply Embedded Devices
The Challenge of being safe and secure : designing process interfaces between safety and security
Secure Web Service Clients on Mobile Devices
Interoperable language resources
Interoperable language resources
Safe and secure I/O sharing for mixed-criticality embedded real-time systems for avionics
Architecture of secure IoT devices: Security by design