A problem solving mechanism for formal analysis of cryptographic protocols
Han Ji-hong, Yu Qian Zhao, Yadi Wang, Zhiyong Zhou · 2007
Abstract:- The paper proposes the cryptographic protocol insecurity problem, gives an accurate formal specifications for cryptographic protocols, defines the security properties precisely and reasonably, presents some pivotal concepts and propositions in the deduction of the problem solving. The method has provable semantics which is reasonable and sound, and it is easy to realize automatic deductions.