[CITATION][C] A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies.

L Marcus, T Redmond - CSFW, 1988
Save Cite Cited by 6 Related articles
Showing the best result for this search. See all results