Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures

DOI10.1007/3-540-45608-2MaRDI QIDQ1422110zbMATH OpenOpenAlexFDO

Authors

Publication date 5 February 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/tocs/t2946.htm

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Data encryption (aspects in computer science) (68P25)

Review text

The articles of this volume will be reviewed individually. Indexed articles: \textit{Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert}, Two formal approaches for approximating noninterference properties., 1-43 [Zbl 1202.68163] \textit{Blundo, Carlo; D'Arco, Paolo}, The key establishment problem., 44-90 [Zbl 1202.68165] \textit{Bugliesi, Michele; Castagna, Giuseppe; Crafa, Silvia; Forcardi, Riccardo; Sassone, Vladimiro}, A survey of name-passing calculi and crypto-primitives., 91-138 [Zbl 1202.68166] \textit{Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio}, Classification of security properties. II: Network security, 139-185 [Zbl 1202.68168] \textit{Gennaro, Rosario}, Cryptographic algorithms for multimedia traffic., 186-206 [Zbl 1202.68169] \textit{Nielson, Hanne Riis; Nielson, Flemming; Buchholtz, Mikael}, Security for mobility., 207-265 [Zbl 1202.68173]

Recommendations

• Foundations of security analysis and design IV. FOSAD 2006/2007 tutorial lectures
• Foundations of security analysis and design VII. FOSAD 2012/2013 tutorial lectures
• Foundations of security analysis and design V. FOSAD 2007/2008/2009 tutorial lectures
• Foundations of security analysis and design III. FOSAD 2004/2005 tutorial lectures.
• Foundations of security analysis and design VI. FOSAD tutorial lectures
• Foundations of security analysis and design VIII. FOSAD 2014/2015/2016 tutorial lectures
• Foundations of security analysis and design. Tutorial lectures
• Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows
• Security of systems. Foundations, concepts, realizations, applications

Cited in

(2)

• Foundations and practice of security. 10th international symposium, FPS 2017, Nancy, France, October 23--25, 2017. Revised selected papers
• Foundations of security analysis and design III. FOSAD 2004/2005 tutorial lectures.

This page was built for publication: Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures

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