First Page | Document Content | |
---|---|---|
Date: 2012-03-30 11:05:49 | Specifying and Verifying Organizational Security Properties in First-Order Logic Christoph Brandt1 , Jens Otten2 , Christoph Kreitz2 , and Wolfgang Bibel3 1 UniversitĀ“e du LuxembourgAdd to Reading ListSource URL: www.jens-otten.deDownload Document from Source WebsiteFile Size: 326,40 KBShare Document on Facebook |