Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Keyword: security filesystem unix mls access control
FSSecModel
: Formal verification of an extension of a UNIX compatible, secure filesystem
Maximiliano Cristiá