Mechanical Verification of Secure Distributed Systems in Higher Order Logic.
Jim Alves-FossKarl N. LevittPublished in: TPHOLs (1991)
Keyphrases
- distributed systems
- higher order logic
- concurrent systems
- higher order
- high assurance
- cryptographic protocols
- theorem prover
- conditional logic
- fault tolerant
- mobile agent system
- fault tolerance
- load balancing
- distributed environment
- logical framework
- message passing
- model checking
- operating system
- geographically distributed
- mobile agents
- real time systems
- distributed computing
- security mechanisms
- security issues
- security policies
- distributed database systems
- automated reasoning
- data replication
- deadlock detection
- artificial intelligence
- inference rules
- similarity measure