安全协议认证的形式化方法研究

• 作者: 吴立军 苏开乐
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议认证 模型检测 定理证明 形式化方法
• 年，卷（期）: 2004,（17）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 152-155
• 页数: 4页
• 分类号: TP393.08
• 字数: 5810字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.17.049

摘要

安全协议认证是网络安全领域中重大课题之一.形式化方法多种多样.该文首先论述了模型检测技术及其在安全协议验证中的应用,然后介绍了各种定理证明方法和定理证明工具,接着讨论其它形式化验证方法,最后论述形式化方法的一些研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏开乐	中山大学信息科学与技术学院	22	309	11.0	17.0
2	吴立军	中山大学信息科学与技术学院	9	167	7.0	9.0