Conferences in DBLP

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

1. Peter Y. A. Ryan
   Mathematical Models of Computer Security. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2000, pp:1-62 [Conf]
   
2. Paul F. Syverson, Iliano Cervesato
   The Logic of Authentication Protocols. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2000, pp:63-136 [Conf]
   
3. Pierangela Samarati, Sabrina De Capitani di Vimercati
   Access Control: Policies, Models, and Mechanisms. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2000, pp:137-196 [Conf]
   
4. Joshua D. Guttman
   Security Goals: Packet Trajectories and Strand Spaces. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2000, pp:197-261 [Conf]
   
5. Andrew D. Gordon
   Notes on Nominal Calculi for Security and Mobility. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2000, pp:262-330 [Conf]
   
6. Riccardo Focardi, Roberto Gorrieri
   Classification of Security Properties (Part I: Information Flow). [Citation Graph (0, 0)][DBLP]
   FOSAD, 2000, pp:331-396 [Conf]