Barthe, G., Gregoire, B., Huisman, M. und Lanet, J.-L. (Hrsg.) (2006) „Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers“, Security and Cryptology. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11741060.

Barthe, Gilles, Benjamin Gregoire, Marieke Huisman, und Jean-Luis Lanet, Hrsg. „Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers“. Cd. Security and Cryptology. Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?]. https://doi.org/10.1007/11741060.

Barthe, G., Gregoire, B., Huisman, M., … Lanet, J.-L. (Hrsg.). (ca. 2006). Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers [Cd]. In Security and Cryptology (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11741060

Barthe, G., B. Gregoire, M. Huisman, und J.-L. Lanet, Herausgeber. „Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers“. Security and Cryptology, 1 st ed. 2006, cd, Springer Berlin Heidelberg, 2006, https://doi.org/10.1007/11741060.

BARTHE, Gilles, Benjamin GREGOIRE, Marieke HUISMAN und Jean-Luis LANET (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540336914