First Page | Document Content | |
---|---|---|
Date: 2011-06-07 13:44:55 | 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.cs.uni-potsdam.deDownload Document from Source WebsiteFile Size: 326,40 KBShare Document on Facebook |