A Dynamic Non-Interference Trust Chain Model Based on Security Process Algebra.
Fanwen MengPublished in: ITITS (2018)
Keyphrases
- process algebra
- model checking
- concurrent systems
- access control
- intrusion detection
- trust model
- formal specification
- formal methods
- trust management
- communication protocols
- trust relationships
- concurrent programs
- information systems
- trust negotiation
- trusted computing
- asynchronous circuits
- knowledge representation
- database systems