Property verification for access control models via model checking
No Thumbnail Available
Date
2008
Authors
Advisors
Journal Title
Series/Report No.
Technical report (North Carolina State University. Dept. of Computer Science)
TR-2008-1
TR-2008-1
Journal ISSN
Volume Title
Publisher
North Carolina State University. Dept. of Computer Science