Temporal Logic-Based Specification and Verification of Trust Models.
Peter HerrmannPublished in: iTrust (2006)
Keyphrases
- trust model
- formal verification
- temporal ordering
- situation aware
- spatio temporal
- asynchronous circuits
- trust management
- model checking
- formal methods
- temporal information
- linear temporal logic
- temporal reasoning
- game theoretic
- temporal constraints
- multiagent systems
- knowledge representation
- protocol specification
- concurrent systems
- multi agent systems
- trust and reputation models
- open distributed systems
- trust relationships