摘要
论文基于系统的API平台提出安全协议的一种CSP开发框架,将形式化方法与高级语言有机结合起来,实现了协议由形式化说明转换为可执行代码处理过程的自动化,有利于快捷准确地将已完成CSP验证的安全协议翻译为可执行代码,避免了在将CSP描述转换为可执行代码预处理过程中引入安全隐患的可能性。
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.
出处
《信息安全与通信保密》
2007年第6期124-125,128,共3页
Information Security and Communications Privacy
关键词
CSP
安全协议
框架
进程
CSP
Security Protocol
Framework
Process
