基于类型理论的安全协议验证技术

• 作者: 宋震 李舟军 窦文华
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 安全协议 认证性 类型 信念逻辑 模型检测
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 7-9,25
• 页数: 4页
• 分类号: TP393.08
• 字数: 4928字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2005.03.003

摘要

基于类型理论的安全协议验证技术是近年来新出现的技术途径之一.本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介绍后,主要分析了由A. D. Gordon建立的、用于对协议的认证性进行验证的类型系统,借助其与信念逻辑方法在证明过程中的某些相似性,对其中的主要思想进行了分析讨论.本文最后还指出了基于类型理论的安全协议验证技术研究中一些有待深入的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	窦文华	国防科技大学计算机学院	73	616	13.0	21.0
2	宋震	国防科技大学计算机学院	6	53	4.0	6.0
3	李舟军	国防科技大学计算机学院	31	594	10.0	24.0