Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, held in Marseille, France in March 2004.
The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are devoted to trends in smart card research, operating systems and virtual machine technologies, secure platforms, security, application validation, verification, and formal modeling and formal methods.
Kategoriler:
Yıl:
2005
Baskı:
1
Yayımcı:
Springer-Verlag Berlin Heidelberg
Dil:
english
Sayfalar:
258
ISBN 10:
3540305696
ISBN 13:
9783540305699
Seriler:
Lecture Notes in Computer Science 3362 Security and Cryptology
Dosya:
PDF, 4.23 MB
IPFS:
,
english, 2005
Amazon 
Barnes & Noble 
Bookshop.org
Bir kitap dükkanı eklemek ister misiniz? Bize support@z-lib.do adresinden ulaşın
Dosyaları dönüştürün
Diğer arama sonuçları
Diğer avantajları 
![Cindy Eisner (auth.), Oleg Sokolsky, Serdar Taşıran (eds.) — Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/78e61f55f30de581e32f185895caa92edb74bf8f38a9a37df68534cfb819968d.jpg)
