Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

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

Author(s)

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

Abstract

Keywords

access control; policy; model; testing
Control Families

None selected

Documentation

Publication:
Journal Article (DOI)

Supplemental Material:
None available