A Type Discipline for Authorization in Distributed Systems.
Cédric FournetAndy GordonSergio MaffeisPublished in: CSF (2007)
Keyphrases
- distributed systems
- security policies
- fault tolerant
- distributed environment
- load balancing
- geographically distributed
- message passing
- distributed database systems
- distributed computing
- access control
- concurrent systems
- information systems
- real time systems
- fault tolerance
- mobile agents
- loosely coupled
- software architecture
- operating system
- agent technology
- fine grained
- data replication
- complex systems
- software engineering
- mobile agent system
- computer science