Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 2004, Revis

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 2004, Revis

by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean Paperback 2005

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
  • ISBN 13: 9783540242871
  • ISBN 10: 3540242872
  • Publication Year: 2005
  • Language: English

Specifications

Index-103540242872
LanguageEnglish
Index-139783540242871
Period-
Class Track-
Publisher- (2005)
Pages-

✨ Readers also enjoyed...

View All →
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings

Engineering Secure Software and Sy…

Gilles Barthe, Ben Livshits, Riccardo Scandariato

Inquire
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Formal Aspects of Security and Tru…

Gilles Barthe, Anupam Datta, Sandro Etalle

Inquire
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6. 1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proce

Formal Methods for Open Object-Bas…

Gilles Barthe, Frank S. de Boer

Inquire
Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures

Foundations of Security Analysis a…

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Inquire
Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conference on Theory and Prac

Programming Languages and Systems …

Gilles Barthe

Inquire