Making distributed systems secure with program analysis and transformation.
Andrew C. MyersPublished in: PASTE (2005)
Keyphrases
- distributed systems
- distributed environment
- fault tolerant
- load balancing
- mobile agent system
- fault tolerance
- distributed computing
- mobile agents
- message passing
- software architecture
- geographically distributed
- operating system
- distributed database systems
- real time systems
- concurrent systems
- security policies
- data replication
- high assurance
- digital libraries
- security mechanisms
- replicated data
- emergent behavior