Research and Application for Combination Analysis Technology of Security Protocol Formal
Yu Fu, MA Zi-tang, Huifang Wang · Jisuanji gongcheng · 2006
This paper discusses the advantages and disadvantages of model checking technology and theory generation technology,and gives a specification of the new mixed technology of the two technologies which can provide a more complete formal analysis of security protocols.The technology is more efficient than former technology and can be easily realized in practices.