安全协议的一种CSP开发框架  

ACSP Development Framework for Authentication Protocols

作　　者：陈华[1] 付小青[1] 

机构地区：[1]华中科技大学计算机学院信息安全系信息安全实验室,湖北武汉430074

出　　处：《信息安全与通信保密》2007年第6期124-125,128,共3页Information Security and Communications Privacy

摘　　要：论文基于系统的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.

关 键 词：CSP 安全协议 框架 进程 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]