基于CCS的加密协议分析S

摘要：

加密协议的分析需要形式化的方法和工具.该文定义了加密协议描述语言PEP (principals+environment=protocol),并说明对于一类加密协议,其PEP描述可以转化为有穷的基本CCS进程,由此可以在基于CCS的CWB(concurrency workbench)工具中分析加密协议的性质.此方法的优点在于隐式地刻画攻击者的行为,试图通过模型检查(model checking)发现协议潜在的安全漏洞,找到攻击协议的途径.

关键词：加密协议、协议分析、形式化方法、CCS、模型检查

所属期刊栏目：10

分类号：TP309(计算技术、计算机技术)

资助基金：中国科学院资助项目;教育部留学回国人员科研启动基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1103-1107