TY  - JOUR
AU  - Chung
AU  - David Kuhn
AU  - Tao Xie
AU  - J Hwang
C2  - International Journal of Software Engineering and Knowledge Engineering
DA  - 2011-02-28
DO  - https://doi.org/10.1142/S021819401100513X
LA  - en
M1  - 21
PB  - International Journal of Software Engineering and Knowledge Engineering
PY  - 2011
TI  - Model Checking for Verification of Mandatory Access Control Models and Properties
ER  -