|
|
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
Только что пользователи скачали эти книги:
Ницше. Введение в понимание его философствованияАвтор: Ясперс Карл ТеодорКатегория: Философия
Размер книги: 2.18 Mb
Transformation groups for beginnersАвтор: S. V. Duzhin, Автор: B. D. ChebotarevskiiКатегория: Mathematics, Symmetry and groups
Размер книги: 1.17 Mb
Mastering Lotus Notes and Domino 6Автор: Cate McCoy, Автор: Matt Riggsby, Автор: Scot Haberman, Автор: Andrew Falciani
Размер книги: 29.61 Mb
Minds, machines, and the multiverse: The quest for the quantum computerАвтор: Julian BrownКатегория: P_Physics, PPop_Popular-level
Размер книги: 3.39 Mb
Medicinal Plant BiotechnologyАвтор: ed. by Jorg KnableinКатегория: Chemistry-Environmental-Material
Размер книги: 8.34 Mb
Nilpotent orbits in semisimple Lie algebrasАвтор: Collingwood D., Автор: McGovern W.
Размер книги: 952 Kb
Protection from Exposure to Second-hand Tobacco Smoke: Policy RecommendationsАвтор: World Health Organization
Размер книги: 2.08 Mb
Executive development: meeting the needs of top teams and boardsАвтор: Sheila Jackson, Автор: Elaine Farndale, Автор: Andrew Kakabadse
Размер книги: 930 Kb
Causation and Explanation (Central Problems of Philosophy)Автор: Stathis Psillos
Размер книги: 1.68 Mb
|
|
|