libcats.org
Главная

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004

Обложка книги Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004

, , , ,

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.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Отчаяние (Кочевники - 2)

Автор:
Категория: История
Размер книги: 589 Kb

XML and PHP

Автор:
Размер книги: 1.04 Mb

Sink or Float: Thought Problems in Math and Physics

Автор:
Категория: Popular-level
Размер книги: 3.19 Mb

Battery reference book(c)

Автор:
Категория: Chemistry, Energy
Размер книги: 26.91 Mb

Surgical Techniques in Sports Medicine

Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: medicine - surgery
Размер книги: 141.03 Mb

Blink 182 Enema of the State

Автор: , Автор:
Размер книги: 45.99 Mb