J4 ›› 2005, Vol. 27 ›› Issue (3): 7-9.
• 论文 • 上一篇 下一篇
宋震 李舟军 窦文华
出版日期:
发布日期:
Online:
Published:
摘要：
基于类型理论的安全协议验证技术是近年来新出现的技术途径之一。本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介绍后，主要分析了由A.D．Gordon建 立的、用于对协议的认证性进行验证的类型系统，借助其与信念逻辑方法在证明过程中的某些相似性，对其中的主要思想进行了分析讨论。本文最后还指出了基于类型理论的安全协议验证技术研究中一些有待深入的问题。
关键词: 计算机网络 网络安全 类型理论 安全协议验证技术 信念逻辑
宋震 李舟军 窦文华. 基于类型理论的安全协议验证技术[J]. J4, 2005, 27(3): 7-9.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2005/V27/I3/7
