ACSP Development Framework for Authentication Protocols
FU Xiao-qing · Information Security and Communications Privacy · 2007
After the formal CSP specification of a security protocol has been verified,directly transforming security protocol into some executable modules would break formalism,thus compromise the verified system property since CSP is not a full-featured programming language.Therefore,this paper presents a CSP development framework which could make the harmony of formalism and programming language and is also conducive to the implementation of protocol in higl-level programming language.