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
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540242871
3540242872
- Dimensions
-
24 cm
- Extent
-
VI, 256 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 3362 : Hot topics
- Classification
-
Informatik
- Keyword
-
Smart Device
Datensicherung
Zugriffskontrolle
Interoperabilität
Smart Device
Betriebssystem
Programmierumgebung
Smart Device
Model Checking
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2005
- Contributor
-
Barthe, Gilles
CASSIS (2004 : Marseille)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:28 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Barthe, Gilles
- CASSIS (2004 : Marseille)
- Springer
Time of origin
- 2005
Other Objects (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