Advertisement

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

Keywords

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 https://doi.org/10.1007/3-540-45608-2
  • 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