Research Catalog
Foundations of security analysis and design : tutorial lectures
- Title
- Foundations of security analysis and design : tutorial lectures / Riccardo Focardi, Robert Gorrieri (eds.).
- Publication
- Berlin ; New York : Springer, c2001.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 02-85 | Offsite |
Details
- Additional Authors
- Description
- vi, 396 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2171
- Subjects
- Note
- Lectures presented at the International School on Foundations of Security Analysis and Design, Sept. 18-30, 2000, Bertinoro, Italy.
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also available via the World Wide Web.
- Contents
- Mathematical models of computer security / Peter Y.A. Ryan -- The logic of authentication protocols / Paul Syverson and Iliano Cervesato -- Access control : policies, models, and mechanisms / Pierangela Samarati and Sabrina de Capitani di Vimercati -- Security goals : packet trajectories and strand spaces / Joshua D. Guttman -- Notes on nominal calculi for security and mobility / Andrew D. Gordon -- Classification of security properties (part I : information flow) / Riccardo Focardi and Roberto Gorrieri.
- Call Number
- JSE 02-85
- ISBN
- 3540428968 (softcover : alk. paper)
- LCCN
- 2001057604
- OCLC
- 48473766
- Title
- Foundations of security analysis and design : tutorial lectures / Riccardo Focardi, Robert Gorrieri (eds.).
- Imprint
- Berlin ; New York : Springer, c2001.
- Series
- Lecture notes in computer science, 0302-9743 ; 2171
- Bibliography
- Includes bibliographical references and index.
- Additional Formats
- Also available via the World Wide Web.
- Added Author
- Focardi, Riccardo, 1970-Gorrieri, Roberto.International School on Foundations of Security Analysis and Design (2000 : Bertinoro, Italy)
- Research Call Number
- JSE 02-85