IBS agreement formal analysis and verification
Sun Chuan-qin · Automation and Instrumentation · 2012
There are many formal methods used in analysis of secure protocol with some problems.This paper introduces a modified formal method called FOCPN based on CPN,and uses this method in the analysis of IBS protocol.It emphasizes on IBS protocol's no-repudiation and fairness to verify and analyze.The experimental result shows that this method can verify secure protocol's features.