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

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]