The verification of secure distributed systems.
Jim Alves-FossKarl N. LevittPublished in: Compcon (1991)
Keyphrases
- distributed systems
- concurrent systems
- high assurance
- cryptographic protocols
- integrity verification
- distributed environment
- fault tolerant
- operating system
- mobile agent system
- message passing
- distributed computing
- mobile agents
- fault tolerance
- load balancing
- model checking
- real time systems
- geographically distributed
- deadlock detection
- security issues
- data replication
- distributed database systems
- loosely coupled
- security policies
- mobile computing
- security requirements
- security mechanisms
- security analysis
- agent based systems