Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components.
Jim Alves-FossKarl N. LevittPublished in: IEEE Symposium on Security and Privacy (1991)
Keyphrases
- distributed systems
- higher order logic
- concurrent systems
- higher order
- fault tolerant
- high assurance
- load balancing
- distributed environment
- geographically distributed
- distributed database systems
- fault tolerance
- message passing
- cryptographic protocols
- distributed computing
- mobile agent system
- theorem prover
- operating system
- mobile agents
- data replication
- conditional logic
- deadlock detection
- machine learning
- replicated data
- modular robots
- real time systems
- loosely coupled
- security requirements
- data representation