The algebra of security

Authors:
John McLean
Affiliations:
Naval Research Laboratory, Washington, D.C.
Venue:
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Year:
1988

Citing 3
Cited 4

A Formal Method for the Abstract Specification of Software

Journal of the ACM (JACM)
A security model for military message systems

ACM Transactions on Computer Systems (TOCS)
Proving multilevel security of a system design

SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles

Policy algebras for access control: the propositional case

CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Policy algebras for access control the predicate case

Proceedings of the 9th ACM conference on Computer and communications security
Rewrite Based Specification of Access Control Policies

Electronic Notes in Theoretical Computer Science (ENTCS)
Privacy in the electronic society

ICISS'06 Proceedings of the Second international conference on Information Systems Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop a general framework in which various mandatory access control security models that allow changes in security levels can be formalized. These models form a Boolean Algebra. We expand the framework to include models that allow n-person rules necessary for discretionary access controls in an industrial security setting. The resulting framework is a distributive lattice.