%0 Journal Article
%T 基于CCS的加密协议分析
%A 丁一强
%J -
%D 1999
%X 加密协议的分析需要形式化的方法和工具.该文定义了加密协议描述语言PEP (principals+environment=protocol),并说明对于一类加密协议,其PEP描述可以转化为有穷的基本CCS进程,由此可以在基于CCS的CWB(concurrency workbench)工具中分析加密协议的性质.此方法的优点在于隐式地刻画攻击者的行为,试图通过模型检查(model checking)发现协议潜在的安全漏洞,找到攻击协议的途径
%K 加密协议
%K 协议分析
%K 形式化方法
%K CCS
%K 模型检查.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19991015&flag=1