Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: CSFW 1990
    DBLP: db/conf/csfw/csfw1990.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 17  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Edward Amoroso.
    A Policy Model for Denial of Service.
    CSFW 1990 (0) 1990
    Conference paper
    Lee Badger.
    Providing a Flexible Security Override for Trusted Systems.
    CSFW 1990 (0) 1990
    Conference paper
    Pierre Bieber.
    A Logic of Communication in Hostile Environments.
    CSFW 1990 (0) 1990
    Conference paper
    Simon N. Foley.
    Secure Information Flow Using Security Groups.
    CSFW 1990 (0) 1990
    Conference paper
    Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden.
    A Logic for Reasoning about Security.
    CSFW 1990 (0) 1990
    Conference paper
    James W. Gray III.
    Information Sharing in Secure Systems.
    CSFW 1990 (0) 1990
    Conference paper
    Jingsha He, Virgil D. Gligor.
    Information-Flow Analysis for Covert-Channel Identification in Multilevel Secure Operating Systems.
    CSFW 1990 (0) 1990
    Conference paper
    Jonathan K. Millen.
    Hookup Security for Synchronous Machines.
    CSFW 1990 (0) 1990
    Conference paper
    Jeremy L. Jacob.
    Categorizing non-interference.
    CSFW 1990 (0) 1990
    Conference paper
    Ira S. Moskowitz.
    Quotient States and Probabilistic Channels.
    CSFW 1990 (0) 1990
    Show item 1 to 10 of 17  

    Your query returned 17 matches in the database.