Robert W. Baldwin. Rule Based Analysis of Computer Security. In COMPCON 87, Digest of Papers, Thirty-Second IEEE Computer Society International Conference, San Francisco, California, USA, February 23-27, 1987. pages 227-233, IEEE Computer Society, 1987.
Abstract is missing.