Methods for formal verification of large and complicated protocols
Huang Qing · Jisuanji gongcheng yu sheji · 2009
The formal analysis of large and complicated protocols has been becoming a difficult hotspot of recent research.Based on the techniques used,the formal methods for analyzing large and complicated protocols are classified as logic reasoning based method,model checking based method,theorem proving based method and process algebra based method.The representative approaches and verifiers of each method are presented.At last,the characteristics of each approach are compared and the future research keystone for verifying large and complicated protocols is pointed out,namely amending original formal method or designing a new method to enable it to be automated easily and used for analysis of composed protocols.