Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Journal Article

Model Checking for Verification of Mandatory Access Control Models and Properties

Published: February 28, 2011
Citation: International Journal of Software Engineering and Knowledge Engineering vol. 21, no. 1, (February 2011) pp. 103-127


Vincent Hu, Richard Kuhn, Tao Xie, J. Hwang



access control; policy; model; testing
Control Families

None selected



Supplemental Material:
None available

Document History:
02/28/11: Journal Article (Final)