On the Axiomatization of Security Policy: Some Tentative Observations about Logic Representation

James Bret Michael, Edgar H. Sibley, Richard F. Baum, Fu Li. On the Axiomatization of Security Policy: Some Tentative Observations about Logic Representation. In Bhavani M. Thuraisingham, Carl E. Landwehr, editors, Database Security, VI: Status and Prospects. Results of the IFIP WG 11.3 Workshop on Database Security, Vancouver, Canada, 19-21 August 1992. Volume A-21 of IFIP Transactions, pages 367-386, North-Holland, 1992.

Abstract

Abstract is missing.