CSP Describing Technology of Security Protocols
Pla Information · 2006
It is an important formal method in protocol' s analysis that CSP approach based on the process algebra.In this paper, the CSP theory is introduced in brief and then the CSP modeling Approach of security protocols is summarized by using the NSPK exam-ple.It is studied formal description of Security Properties in the CSP system frame in order to find out the bug of security protocols in effect.In finally,it is presented the refine verifying targets of secrecy、authentication、non-repudiation and anonymity in formal which given the theoretical foundation for the model checking.