Generated Fri Oct 22 07:13:06 PDT 1999 by fc@red.all.net


OShea94
  • [OShea94] G. O'Shea On the Specification, Validation, and Verification of Security in Access Control Systems, The Computer Journal, V37n5, 1994, pp437-448, [Fundamental issues related to specification, validation, and verification of access controls for security enforcement are identified.]


    fc@red.all.net