A Mixed Formal Analysis Technology of Security Protocols
Hong Mei Fan · 2002
The advantages and disadvantages of model checking technology and logic reasoning technology is analyzed, Based on it, the author gives a specification of the new mixed technology of the two technologies which can provide a more complete formal analysis of security protocols.