Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2946)
Conference series link(s): FOSAD: International School on Foundations of Security Analysis and Design
Conference proceedings info: FOSAD 2001.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (6 papers)
-
Front Matter
-
Back Matter
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
Editors and Affiliations
-
Dipartimento di Informatica, Università Ca’Foscari di Venezia,
Riccardo Focardi
-
Dipartimento di Scienze dell’Informazione, Università di Bologna, Bologna, Italy
Roberto Gorrieri
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