Property verification for access control models via model checking

No Thumbnail Available

Date

2008

Advisors

Journal Title

Series/Report No.

Technical report (North Carolina State University. Dept. of Computer Science)
TR-2008-1

Journal ISSN

Volume Title

Publisher

North Carolina State University. Dept. of Computer Science