基于CCS的加密协议分析S

• 作者: 丁一强
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 加密协议 协议分析 形式化方法 CCS 模型检查
• 年，卷（期）: 1999,（10）
• 页码范围: 1103-1107
• 页数: 5页
• 分类号: TP309
• 字数: 3994字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁一强	中国科学院软件研究所计算机科学开放研究实验室	1	2	1.0	1.0