Formalization and Verification of IBS Protocol
Zhu Zhao-xu · Computer Knowledge and Technology · 2011
There are many methods for formalization analysis of security protocol,but most have some problems.This paper describes a formalization method named FOCPN which improved based on the model of the CPN,and simulates and analyses the IBS protocol by this method,mainly verify its non-repudiation and accountability.Experiment results show that the method can verify the IBS Protocol features effectively.