Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures (Q1422110)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2038324
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures |
scientific article; zbMATH DE number 2038324 |
Statements
Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures (English)
0 references
5 February 2004
0 references
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]
0 references
0 references
0.9650629
0 references
0.96422076
0 references
0 references
0 references
0.9535316
0 references
0.9311038
0 references
0.8284521
0 references
