The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002