|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Капитан Юнкер, будь он проклятАвтор: Давыдов Юрий ВладимировичКатегория: История
Размер книги: 45 Kb
Повторительный цикл по физикеАвтор: Грушин В.В., Автор: Диденко А.Я., Автор: Добродеев Н.А., Автор: и др.Категория: Physics
Размер книги: 804 Kb
Книги Единой Жизни. Пути Истины По Стопам Ходоков.Автор: Моргунова Ольга АлександровнаКатегория: мистика, аномальные явления
Размер книги: 215 Kb
Physique mesoscopique des electrons et des photons FrenchАвтор: Eric Akkermans, Автор: Gilles MontambauxКатегория: Математика, Математическая физика
Размер книги: 25.08 Mb
Promoting Workplace Well-being: A Critical ApproachАвтор: Neil Thompson and John Bates (Editors)
Размер книги: 767 Kb
Nonlinear System Identification: From Classical Approaches to Neural Networks and Fuzzy ModelsАвтор: Oliver NellesКатегория: Математика, Нечеткая логика и приложения
Размер книги: 105.20 Mb
Neurodevelopmental Mechanisms in PsychopathologyАвтор: Dante Cicchetti, Автор: Elaine F. Walker
Размер книги: 3.08 Mb
Investing Separately in Alpha and BetaАвтор: Roger G. Clarke, Автор: Harindra de Silva, Автор: Steven Thorley
Размер книги: 664 Kb
Painless Research Projects (Barron's Painless Series)Автор: Rebecca S. Elliott Ph.D., Автор: James Elliott M.A.
Размер книги: 3.55 Mb
|
|
|