search

mit-pdos / fscq

FSCQ is a certified file system written and proven in Coq
Other
236 stars 21 forks source link

Multiuser/permissions support #10

Closed dsheets closed 5 years ago

dsheets commented 9 years ago

Some security properties of some systems are, at least partially, reliant on file system support for rwx permissions for users, groups, and 'other'. These features are often used in conjunction with multiuser access to a single mounted file system and FS enforcement of user permission policy.

tchajed commented 5 years ago

We wrote a paper on this (see the security branch for the code), and while full support for POSIX permissions is incomplete in that version I think it's a pretty good effort.