Foundations of Security Analysis and Design II

FOSAD 2001/2002 Tutorial Lectures

  • Riccardo Focardi
  • Roberto Gorrieri
Conference proceedings FOSAD 2001

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2946)

Table of contents

  1. Front Matter
  2. Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
    Pages 1-43
  3. Carlo Blundo, Paolo D’Arco
    Pages 44-90
  4. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Forcardi, Vladimiro Sassone
    Pages 91-138
  5. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    Pages 139-185
  6. Rosario Gennaro
    Pages 186-206
  7. Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz
    Pages 207-265
  8. Back Matter

About these proceedings


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


algorithms cryptographic algorithms cryptographic protocols data security formal methods information information security key establishment mobile communications security network security privacy secure communications secure multi security protocols systems security

Editors and affiliations

  • Riccardo Focardi
    • 1
  • Roberto Gorrieri
    • 2
  1. 1.Dipartimento di InformaticaUniversità Ca’Foscari di Venezia 
  2. 2.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20955-3
  • Online ISBN 978-3-540-24631-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software