Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: CSFW 1991
    DBLP: db/conf/csfw/csfw1991.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 30  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    P. G. Allen.
    A Comparison of non-Interference and Non-Deducibility using CSP.
    CSFW 1991 (0) 1991
    Conference paper
    Pierre Bieber, Frédéric Cuppens.
    A Definition of Secure Dependencies Using the Logic of Security.
    CSFW 1991 (0) 1991
    Conference paper
    Simon N. Foley.
    Separation of Duty using High Water Marks.
    CSFW 1991 (0) 1991
    Conference paper
    Thomas D. Garvey, Teresa F. Lunt, Mark E. Stickel.
    Abductive and Approximate Reasoning Models for Characterizing Inference Channels.
    CSFW 1991 (0) 1991
    Conference paper
    Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine, Li Gong.
    Logics for Cryptographic Protocols - Virtues and Limitations.
    CSFW 1991 (0) 1991
    Conference paper
    Li Gong.
    Handling Infeasible Specifications fo Cryptographic Protocols.
    CSFW 1991 (0) 1991
    Conference paper
    John Graham-Cumming, Jeff W. Sanders.
    On the Refinement of Non-Interference.
    CSFW 1991 (0) 1991
    Conference paper
    James W. Gray III.
    On Information Flow Security Models.
    CSFW 1991 (0) 1991
    Conference paper
    Sarbari Gupta, Virgil D. Gligor.
    Towards a Theory of Penetration-Resistant Systems and its Applications.
    CSFW 1991 (0) 1991
    Conference paper
    Oliver Costich, Ira S. Moskowitz.
    Analysis of a Storage Channel in the Two-Phase Commit Protocol.
    CSFW 1991 (0) 1991
    Show item 1 to 10 of 30  

    Your query returned 30 matches in the database.