Foundations of Security Analysis and Design

Tutorial Lectures

  • Riccardo Focardi
  • Roberto Gorrieri
Conference proceedings FOSAD 2000

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

Table of contents

  1. Front Matter
    Pages I-VII
  2. Peter Y. A. Ryan
    Pages 1-62
  3. Paul Syverson, Iliano Cervesato
    Pages 63-137
  4. Pierangela Samarati, Sabrina Capitani de Vimercati
    Pages 137-196
  5. Riccardo Focardi, Roberto Gorrieri
    Pages 331-396
  6. Back Matter
    Pages 397-397

About these proceedings


Access Control Authentication Cryptographic Protocols Data Security Formal Methods Identification Information Protection Internet Secure Communications Systems Security computer computer security information logic security

Editors and affiliations

  • Riccardo Focardi
    • 1
  • Roberto Gorrieri
    • 2
  1. 1.Dipartimento di Matematica Applicata e InformaticaUniversità Ca’ Foscari di VeneziaMestre (Ve)Italy
  2. 2.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42896-1
  • Online ISBN 978-3-540-45608-7
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site