External Links

    Journal: Computing Systems

    Volume 7, Issue 1

    1 -- 44Willis H. Ware. Policy Considerations for Data Networks
    45 -- 73Raphael Yahalom, Birgit Klein, Thomas Beth. Trust-Based Navigation in Distribution Systems
    75 -- 89Marjan Krajewski Jr., John C. Chipchak, David A. Chodorow, Jonathan T. Trostle. Applicability of Smart Cards to Network User Authentication
    91 -- 112Allan Heydon, J. D. Tygar. Specifying and Checking UNIX Security Constraints
    113 -- 167Leonard J. LaPadula. A Rule-Set Approach to Formal Modeling of a Trusted Computer System
    runs on