The Design and Implementation of Data Independence in the CSP Model of Security Protocol
Jing Wen An, Lei Zhang, Chunlan You · Advanced materials research · 2014
The CSP method has been extremely effective in checking for, and finding, attacks on security protocol. On the other hand, it has been limited to showing that a given small instance, usually restricted by the finiteness of some set of resources, is free of attacks. In order to resolve this problem, the data independence has been developed by Roscoe. This paper first introduce the new process to expand the CSP model on the base of data independence, and present the whole CSP model of Yahalom and its formalization description. At last, the checking is accomplished by writing in script language CSPM.