Algorithm of AVSP
Dengguo Feng · Jisuanji gongcheng yu sheji · 2005
AVSP is an automatic verification tool for security protocol analysis, which is based on strand space model (SSM) and combines with theorem proving and model checking methods. It is the first one that uses concept of honest ideal to define secrecy of pro- tocol and the first one that utilizes honest ideal logic to specify secrecy property. Some tactics have been used to escape from the seriously state space explosion problem and to find the attacks existing in the given protocols faster.