A Calculus for Access Control in Distributed Systems.
Martín AbadiMichael BurrowsButler W. LampsonGordon D. PlotkinPublished in: ACM Trans. Program. Lang. Syst. (1993)
Keyphrases
- distributed systems
- access control
- security policies
- fine grained
- dynamic access control
- data security
- distributed environment
- fault tolerant
- load balancing
- role based access control
- fault tolerance
- high assurance
- distributed computing
- access control mechanism
- operating system
- real time systems
- access control systems
- concurrent systems
- access control policies
- access control models
- distributed database systems
- security mechanisms
- database security
- loosely coupled
- security requirements
- relational databases
- mobile computing
- agent technology
- databases