First Page | Document Content | |
---|---|---|
Date: 2006-08-29 07:34:00Bell–LaPadula model Organisation-based access control Mandatory access control Structure Secure state Cyberwarfare Security Metalogic Model theory | Towards a formal specification of access control Mathieu Jaume and Charles Morisset SPI – LIP6 – University Paris 6, 8 rue du Capitaine Scott, Paris 75015, France, ,Add to Reading ListSource URL: focalize.inria.frDownload Document from Source WebsiteFile Size: 218,21 KBShare Document on Facebook |