Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Subtitle: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, ... Papers (Lecture Notes in Computer Science)
Contributors: Gilles Barthe (Editor); Benjamin Gregoire (Editor); Marieke Huisman (Editor); Jean-Luis Lanet (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 22, 2006
Language: eng
Format: Paperback
Number of pages: 175
ISBN-13: 9783540336891
Subjects: Computing and Information Technology; Operating Systems - General; Computer Books: Languages; Computers; Computers - Languages / Programming; Programming - Systems Analysis & Design; Programming - General; Programming - Software Development; Computers / Programming / Software Development; Java; VM technology; Web services; access control; embedded devices; formal methods; formal verification; mobile security; mobile service security; model checking; privacy; safety verification