Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers - CASSIS (Conference) (2005 : Nice, France); Barthe, Gilles; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Computer storage devices -- Congresses; Computer security -- congresses; Computer Science; Logics and Meanings of Programs; Operating Systems; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Special Purpose and Application-Based Systems