Title: A survey of formal models for computer security
Subjects: Computers, Access control