First Page | Document Content | |
---|---|---|
Date: 2014-12-01 10:19:28Model checkers Applied mathematics Model checking NuSMV Software testing Formal verification Role-based access control Software development process Formal methods Access control Security | Property Verification for Generic Access Control ModelsAdd to Reading ListSource URL: csrc.nist.govDownload Document from Source WebsiteFile Size: 247,47 KBShare Document on Facebook |