Foundations of security analysis and design : tutorial lectures / Riccardo Focardi, Robert Gorrieri (eds.).

Other author Focardi, Riccardo, 1970-
Other author Gorrieri, Roberto.
Other author International School on Foundations of Security Analysis and Design (2000 : Bertinoro, Italy)
Format Electronic
Publication InfoBerlin ; New York : Springer, ©2001.
Descriptionvi, 396 pages : illustrations ; 24 cm.
Supplemental ContentRestricted to Springer LINK subscribers
Subjects
Computer security.
Computer networks--Security measures.

SeriesLecture notes in computer science ; 2171
Lecture notes in computer science 2171. ^A466336
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.
General noteLectures presented at the International School on Foundations of Security Analysis and Design, Sept. 18-30, 2000, Bertinoro, Italy.
Bibliography noteIncludes bibliographical references and index.
Other formsAlso available via the World Wide Web.
LCCN 2001057604
ISBN3540428968 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.9.A25 F68 2001 ✔ Available Place Hold