Conferences in DBLP

IEEE Computer Security Foundations Workshop (CSFW) (csfw)
1994 (conf/csfw/1994)

1. Jonathan K. Millen
   Unwinding Forward Correctability. [Citation Graph (0, 0)][DBLP]
   CSFW, 1994, pp:2-10 [Conf]
   
2. William D. Young, William R. Bevier
   A State-Based Approach to Non-Interference. [Citation Graph (0, 0)][DBLP]
   CSFW, 1994, pp:11-21 [Conf]
   
3. George W. Dinolt, Lee Benzinger, Mark Yatabe
   Combining Components and Policies. [Citation Graph (0, 0)][DBLP]
   CSFW, 1994, pp:22-33 [Conf]
   
4. Carol Muehrcke
   Formal Methods for the Informal World. [Citation Graph (0, 0)][DBLP]
   CSFW, 1994, pp:36-46 [Conf]
   
5. Adrian Spalka
   Formal Semantics of Rights and Confidentiality in Definite Deductive Databases [Citation Graph (0, 0)][DBLP]
   CSFW, 1994, pp:47-58 [Conf]
   
6. Oliver Costich, John McLean, John P. McDermott
   Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model. [Citation Graph (0, 0)][DBLP]
   CSFW, 1994, pp:60-65 [Conf]
   
7. Ravi S. Sandhu, Roshan K. Thomas
   Conceptual Foundations for a Model of Task-based Authorizations. [Citation Graph (0, 0)][DBLP]
   CSFW, 1994, pp:66-79 [Conf]
   
8. Catherine Meadows
   A Model of Computation for the NRL Protocol Analyzer. [Citation Graph (0, 0)][DBLP]
   CSFW, 1994, pp:84-89 [Conf]
   
9. Volker Kessler, Gabriele Wedel
   AUTLOG - An Advanced Logic of Authentication. [Citation Graph (0, 0)][DBLP]
   CSFW, 1994, pp:90-99 [Conf]
   
10. Aviel D. Rubin, Peter Honeyman
    Nonmonotonic Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:100-116 [Conf]
    
11. Ramesh V. Peri, William A. Wulf
    Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:118-125 [Conf]
    
12. Riccardo Focardi, Roberto Gorrieri
    A Taxonomy of Security Properties for CCS. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:126-136 [Conf]
    
13. Ravi S. Sandhu, Paul Ammann
    One-Representative Safety Analysis in the Non-Monotonic Transform Model. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:139-149 [Conf]
    
14. Simon N. Foley
    Reasoning about Confidentiality Requirements. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:150-160 [Conf]
    
15. Daniel F. Sterne, Glenn S. Benson, Homayoon Tajalli
    Redrawing the Security Perimeter of a Trusted System. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:162-174 [Conf]
    
16. Daniel F. Sterne
    Panel: Reconsidering the Role fo the Reference Monitor. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:175-176 [Conf]
    
17. Wenbo Mao, Colin Boyd
    Development of Authentication Protocols: Some Misconceptions and a New Approach. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:178-186 [Conf]
    
18. Paul F. Syverson
    A Taxonomy of Replay Attacks. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:187-191 [Conf]
    
19. Ulf Carlsen
    Cryptographic Protocols Flaws. [Citation Graph (0, 0)][DBLP]
    CSFW, 1994, pp:192-200 [Conf]