Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers.
Amir Jalaly BidgolyBehrouz Tork LadaniPublished in: Comput. J. (2016)
Keyphrases
- expert systems
- distributed systems
- quantitative and qualitative
- malicious attacks
- management system
- asynchronous circuits
- knowledge based systems
- complex systems
- trust model
- modeling language
- automated verification
- real time
- reputation systems
- trust management
- model checking
- intelligent systems
- genetic algorithm
- neural network
- data sets