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

Contributors to This Issue