Skip to main content
  • Conference proceedings
  • © 2001

Foundations of Security Analysis and Design

Tutorial Lectures

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

Conference series link(s): FOSAD: International School on Foundations of Security Analysis and Design

Conference proceedings info: FOSAD 2000.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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)

  1. Front Matter

    Pages I-VII
  2. Mathematical Models of Computer Security

    • Peter Y. A. Ryan
    Pages 1-62
  3. The Logic of Authentication Protocols

    • Paul Syverson, Iliano Cervesato
    Pages 63-137
  4. Access Control: Policies, Models, and Mechanisms

    • Pierangela Samarati, Sabrina Capitani de Vimercati
    Pages 137-196
  5. Classification of Security Properties

    • Riccardo Focardi, Roberto Gorrieri
    Pages 331-396
  6. Back Matter

    Pages 397-397

Other Volumes

  1. Foundations of Security Analysis and Design

Editors and Affiliations

  • Dipartimento di Matematica Applicata e Informatica, Università Ca’ Foscari di Venezia, Mestre (Ve), Italy

    Riccardo Focardi

  • Dipartimento di Scienze dell’Informazione, Università di Bologna, Bologna, Italy

    Roberto Gorrieri

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access