Guiding Distributed Systems Synthesis with Language-Based Security Policies.
Andrew C. MyersPublished in: FMOODS (2008)
Keyphrases
- security policies
- distributed systems
- security management
- distributed environment
- security requirements
- fault tolerant
- fault tolerance
- load balancing
- access control systems
- mobile agents
- distributed computing
- loosely coupled
- geographically distributed
- concurrent systems
- software architecture
- distributed database systems
- real time systems
- access control policies
- operating system
- access control
- data replication
- multilevel secure
- access control mechanism
- software engineering
- agent based systems