Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Specifying and Verifying Organizational Security Properties in First-Order Logic Christoph Brandt1 , Jens Otten2 , Christoph Kreitz2 , and Wolfgang Bibel3 1 Universit´e du Luxembourg
Add to Reading List
Document Date: 2011-06-07 13:44:55
Open Document
File Size: 326,40 KB
Share Result on Facebook
Specifying and Verifying Organizational Security Properties in First-Order Logic Christoph Brandt1 , Jens Otten2 , Christoph Kreitz2 , and Wolfgang Bibel3 1 Universit´e du Luxembourg