USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Computing Systems 1994
A quarterly publication of the USENIX Association
Volume 7 • Number 1 • Winter 1994
USENIX Association and Editorial Board
Special Greetings by Michael D. O'Dell, Editor-in-Chief; Peter H. Salus, Managing Editor
Guest Editorial by Matthew A. Bishop, University of California at Davis
Policy Considerations for Data Networks by Willis H. Ware, The RAND Corporation
Trust-Based Navigation in Distributed Systems by Raphael Yahalom, The Hebrew University, Jerusalem; Birgit Klein and Thomas Beth, University of Karlsruhe
Applicability of Smart Cards to Network User Authentication by Marjan Krajewski, Jr., John C. Chipchak, David A. Chodorow, and Jonathan T. Trostle, The MITRE Corporation
Specifying and Checking UNIX Security Constraints by Allan Heydon, Digital Equipment Corporation Systems Research Center; J.D. Tygar, Carnegie Mellon University
A Rule-Set Approach to Formal Modeling of a Trusted Computer System by Leonard J. LaPadula, The MITRE Corporation