Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Gilles Barthe; Benjamin Grégoire; Marieke Huisman; Jean-Louis Lanet

doi:10.1007/11741060

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Gilles Barthe (Editor), Benjamin Grégoire (Editor), Marieke Huisman (Editor), Jean-Louis Lanet (Editor)

Research output: Book/Report › Book editing › Academic

Original language	English
Publisher	Springer
ISBN (Print)	3-540-33689-3
DOIs	https://doi.org/10.1007/11741060
Publication status	Published - 2006
Externally published	Yes
Event	2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005 - Nice, France Duration: 8 Mar 2005 → 11 Mar 2005 Conference number: 2

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	3956

Access to Document

10.1007/11741060

Cite this

@book{40d8478fde1045f381a85f3ef150e5ed,

title = "Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers",

editor = "Gilles Barthe and Benjamin Gr{\'e}goire and Marieke Huisman and Jean-Louis Lanet",

year = "2006",

doi = "10.1007/11741060",

language = "English",

isbn = "3-540-33689-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

note = "2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005, CASSIS 2005 ; Conference date: 08-03-2005 Through 11-03-2005",

}

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers. / Barthe, Gilles (Editor); Grégoire, Benjamin (Editor); Huisman, Marieke (Editor) et al.

Springer, 2006. (Lecture Notes in Computer Science; Vol. 3956).

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

A2 - Barthe, Gilles

A2 - Grégoire, Benjamin

A2 - Huisman, Marieke

A2 - Lanet, Jean-Louis

N1 - Conference code: 2

PY - 2006

Y1 - 2006

U2 - 10.1007/11741060

DO - 10.1007/11741060

M3 - Book editing

SN - 3-540-33689-3

T3 - Lecture Notes in Computer Science

BT - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

PB - Springer

T2 - 2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005

Y2 - 8 March 2005 through 11 March 2005

ER -