U.S. flag   An unofficial archive of your favorite United States government website
This is an archive
(replace .gov by .rip)

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

Announcement

Abstract

Keywords

access control; policy; model; testing
Control Families

None selected

Documentation

Publication:
Journal Article (DOI)

Supplemental Material:
None available

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