دانلود کتاب Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Name: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Availability: InStock
Author: David Aspinall
ISBN: 9783540242871, 3540242872

by David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

عنوان فارسی: ساخت و ساز و تجزیه و تحلیل امن، ایمن، و دستگاه های هوشمند سازگار : مقالات کارگاه آموزشی بین المللی ، نارنگی 2004 ، مارسی، فرانسه مارس 10-14، 2004 ، تجدید نظر انتخاب شده
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2005
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 258-266
شابک: 9783540242871, 3540242872
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 4.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.