| The Design of the Unixoperating System--Maurice J. Bach, 1986, pp. 422-429. |
| An Introduction to Database Systems--C. J. Date, 1983, pp. 11-13. |
| J. Picciotto, "The Design of an Effective Auditing Subsystem," Proceedings of the 1987 IEEE Symposium on Security and Privacy, Oakland, Calif., pp. 13-22 (Apr. 1987). |
| T. A. Berson, et al., "KSOS--Development Methodology for a Secure Operating System," Proc. of the Natl. Comp. Conf., vol. 48, AFIPS Press, 1979, Montvale, N.J., pp. 365-372. |
| S. Kramer, "LINUS IV--An Experiment in Computer Security," Proc. of the 1984 Symposium on Security and Privacy, Oakland, Calif., Apr. 1984, pp. 24-33. |
| G. J. Popek et al., "UCLA Secure Unix," Proc. of the Natl. Comp. Conf., vol. 48, AFIPS Press, 1979, Montvale, N.J., pp. 355-364. |
| V. D. Gligor, et al., "On the Design and Implementation of Secure Xenix Workstations," IEEE Symposium on Security, 4/86, pp. 102-117. |