External Links

    Journal: ACM Trans. Comput. Syst.

    Volume 5, Issue 2

    97 -- 120Richard W. Watson, Sandra A. Mamrak. Gaining Efficiency in Transport Services by Appropriate Design and Implementation Choices
    121 -- 150Jeffrey Joyce, Greg Lomow, Konrad Slind, Brian Unger. Monitoring Distributed Systems
    151 -- 184Janice I. Glasgow, Glenn H. MacEwen. The Development and Proof of a Formal Specification for a Multilevel Secure System
    runs on