Back to Results
First PageMeta Content
Bell–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 List

Document Date: 2006-08-29 07:34:00

Open Document

File Size: 218,21 KB

Share Result on Facebook
UPDATE