Conferences in DBLP

Foundations of Security Analysis and Design (fosad)
2002 (conf/fosad/2002)

1. Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
   Two Formal Approaches for Approximating Noninterference Properties. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2002, pp:1-43 [Conf]
   
2. Carlo Blundo, Paolo D'Arco
   The Key Establishment Problem. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2002, pp:44-90 [Conf]
   
3. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
   A Survey of Name-Passing Calculi and Crypto-Primitives. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2002, pp:91-138 [Conf]
   
4. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
   Classification of Security Properties - Part II: Network Security. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2002, pp:139-185 [Conf]
   
5. Rosario Gennaro
   Cryptographic Algorithms for Multimedia Traffic. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2002, pp:186-206 [Conf]
   
6. Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz
   Security for Mobility. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2002, pp:207-265 [Conf]