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

Currency

pence / /

/

Facility

University Paris / /

IndustryTerm

software flaws / Access control software / software development / /

Person

Charles Morisset / Mathieu Jaume / /

Position

proof assistant / Coq proof assistant / /

Technology

relational database / simulation / /

SocialTag