Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service.
Xiaohong LiJiayi XuGuangquan XuJianye HaoXiaoru LiZhiyong FengHonghao GaoPublished in: Int. J. Softw. Eng. Knowl. Eng. (2016)
Keyphrases
- model checking
- model checker
- security protocols
- web services
- description language
- temporal logic
- security services
- formal verification
- formal methods
- security mechanisms
- formal specification
- multi party non repudiation
- specification language
- expert systems
- state space
- key management
- service oriented
- set theory
- intrusion detection