![](/img/cover-not-exists.png)
Model Checking Distributed Mandatory Access Control Policies
Alexander, Perry, Pike, Lee, Loscocco, Peter, Coker, GeorgeVolume:
18
Language:
english
Journal:
ACM Transactions on Information and System Security
DOI:
10.1145/2785966
Date:
July, 2015
File:
PDF, 1.16 MB
english, 2015