Study of Protocol Composition Logic
Chang Qing-mei · Journal of Zhengzhou University · 2008
The syntax,semantic and proof system of Protocol Composition Logic(PCL) are explicated.The ways of proof about authentication property and privacy property of sequential composition protocols are presented.PCL is compared to some other ways of formal analysis.PCL has the readability and ease of use of BAN logic while providing the same degree of assurance in the security of protocols as Paulson's inductive method.