A Calculus for Access Control in Distributed Systems.
Martín AbadiMichael BurrowsButler W. LampsonGordon D. PlotkinPublished in: CRYPTO (1991)
Keyphrases
- distributed systems
- access control
- fine grained
- security policies
- data security
- fault tolerant
- dynamic access control
- distributed environment
- fault tolerance
- distributed computing
- load balancing
- mobile agents
- access control mechanism
- software architecture
- access control models
- operating system
- security mechanisms
- role based access control
- database security
- rbac model
- access control policies
- distributed database systems
- concurrent systems
- real time systems
- mobile computing
- agent technology
- access control systems
- high assurance