Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2946)
Included in the following conference series:
Conference proceedings info: FOSAD 2001.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Security 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
Similar content being viewed by others
Keywords
Table of contents (6 papers)
Other volumes
-
Foundations of Security Analysis and Design II
Editors and Affiliations
Bibliographic Information
Book Title: Foundations of Security Analysis and Design II
Book Subtitle: FOSAD 2001/2002 Tutorial Lectures
Editors: Riccardo Focardi, Roberto Gorrieri
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b95547
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-20955-3Published: 28 January 2004
eBook ISBN: 978-3-540-24631-2Published: 24 January 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 272
Topics: Cryptology, Computer Communication Networks, Operating Systems, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Management of Computing and Information Systems