154
click to vote
VMCAI
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...