Reliability and Confidentiality Co-Verification for Parallel Applications in Distributed Systems.
Guoqi XieKehua YangHaibo LuoRenfa LiShiyan HuPublished in: IEEE Trans. Parallel Distributed Syst. (2021)
Keyphrases
- distributed systems
- concurrent systems
- load balancing
- fault tolerant
- distributed environment
- geographically distributed
- fault tolerance
- distributed computing
- data replication
- message passing
- operating system
- model checking
- mobile agents
- high assurance
- access control
- mobile computing
- loosely coupled
- real time systems
- distributed database systems
- security policies
- data model
- deadlock detection
- real time