|
|
libcats.org
Foundations of Security Analysis and DesignRiccardo Focardi, Roberto GorrieriSecurity is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness. This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001 and September 2002. The lectures are devoted to: - Formal Approaches to Approximating Noninterference Properties - The Key Establishment Problem - Name-Passing Calculi and Cryptoprimitives - Classification of Security Properties; Network Security - Cryptographic Algorithms for Multimedia Traffic - Security for Mobility EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
АнтологияАвтор: Вежинов Павел, Автор: Донев Антон, Автор: Каринти Фридеш, Автор: Черна Йожеф, Автор: Льопис Рохелио, Автор: Борунь Кшиштоф, Автор: Несвадба Йозеф, Автор: Шэ ЛаоКатегория: Научная Фантастика
Размер книги: 980 Kb
Philosophical WritingsАвтор: Johann Gottfried von Herder, Автор: Michael N. Forster
Размер книги: 4.66 Mb
NET Performance Testing and Optimization - The Complete GuideАвтор: Paul Glavich, Автор: Chris FarrellКатегория: Математика, Прикладная математика
Размер книги: 19.92 Mb
Web Operations: Keeping the Data On TimeАвтор: John Allspaw, Автор: Jesse RobbinsКатегория: Математика, Алгоритмы и структуры данных
Размер книги: 12.04 Mb
The Potential of U.S. Forest Soils to Sequester Carbon and Mitigate the Greenhouse EffectАвтор: John M. Kimble, Автор: Rattan Lal, Автор: Richard Birdsey, Автор: Linda S. Heath
Размер книги: 5.48 Mb
|
|
|