Property verification for access control models via model checking

Show full item record

Title: Property verification for access control models via model checking
Author: Hu, Vincent C.; Kuhn, D. Richard; Xie, Tao
Publisher: North Carolina State University. Dept. of Computer Science
Date: 2008
Series/Report No.: Technical report (North Carolina State University. Dept. of Computer Science)
TR-2008-1
URI: ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/2008/TR-2008-1.pdf
http://www.lib.ncsu.edu/resolver/1840.4/1400


Files in this item

Files Size Format View
TR-2008-1.pdf 59.69Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record