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

James Bret Michael, Edgar H. Sibley, Richard F. Baum, Fu Li

Browse the full DBSEC paper archive.