A local search approach to protocol verification.
Kun MaYongjian LiShaowei CaiYongxin ZhaoPublished in: Theor. Comput. Sci. (2024)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- search algorithm
- model checking
- model checker
- formal proof
- formal verification
- genetic algorithm
- global search
- memetic algorithm
- tabu search
- lightweight
- search space
- optimal solution
- coloured petri nets
- formal methods
- security protocols
- colored petri nets
- job shop scheduling problem
- asynchronous circuits
- security analysis
- hybrid ga
- systematic search
- communication protocols
- face verification
- search strategies
- combinatorial optimization
- metaheuristic
- simulated annealing
- database systems
- evolutionary search
- authentication protocol
- high security
- network protocols
- functional verification