A security model for military message systems
ACM Transactions on Computer Systems (TOCS)
A comment on the `basic security theorem' of Bell and LaPadula
Information Processing Letters
The design of the UNIX operating system
The design of the UNIX operating system
Formal specification of an access control system
Software—Practice & Experience
Security in computing
Integrating security in a large distributed system
ACM Transactions on Computer Systems (TOCS)
A formal protection model of security in centralized, parallel, and distributed systems
ACM Transactions on Computer Systems (TOCS)
Practical UNIX security
Role-Based Access Control Models
Computer
A lattice model of secure information flow
Communications of the ACM
A note on the confinement problem
Communications of the ACM
The distributed compartment model for resource management and access control
The distributed compartment model for resource management and access control
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
Discussion topic: what is the old security paradigm?
Proceedings of the 1998 workshop on New security paradigms
Security architecture-based system design
Proceedings of the 1999 workshop on New security paradigms
Data Security for Distributed Meeting Systems
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
A reinforcement model for collaborative security and Its formal analysis
NSPW '09 Proceedings of the 2009 workshop on New security paradigms workshop
| Hi-index | 0.00 |