Foundations of security analysis and design. Tutorial lectures

MaRDI QIDQ5949704zbMATH OpenFDO

Authors

Publication date 26 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

DesignLecturesSecurity analysis

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to information and communication theory (94-06)

Review text

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Ryan, Peter Y. A.}, Mathematical models of computer security, 1-62 [Zbl 1007.68129] \textit{Syverson, Paul; Cervesato, Iliano}, The logic of authentication protocols, 63-136 [Zbl 1007.68510] \textit{Samarati, Pierangela; de Capitani di Vimercati, Sabrina}, Access control: Policies, models, and mechanisms, 137-196 [Zbl 1010.68698] \textit{Guttman, Joshua D.}, Security goals: Packet trajectories aand strand spaces, 197-261 [Zbl 1007.68509] \textit{Gordon, Andrew D.}, Notes on nominal calculi for security and mobility, 262-330 [Zbl 1007.68507] \textit{Focardi, Riccardo; Gorrieri, Roberto}, Classification of security properties. I: Information flow, 331-396 [Zbl 1007.68508]

Cited in

(4)

• Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures
• Security Protocols: Principles and Calculi
• Foundations of security analysis and design III. FOSAD 2004/2005 tutorial lectures.
• Combining behavioural types with security analysis

This page was built for publication: Foundations of security analysis and design. Tutorial lectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5949704)