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