协议的理想化分析的应用

• 作者: 刘守珍 胡志刚
• 来源期刊: 吉首大学学报（自然科学版）
• 学科: 工学
• 关键词: 串空间 理想 应用
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 30-33
• 页数: 4页
• 分类号: TP309
• 字数: 4371字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-2985.2007.06.009

摘要

串空间理论自提出后成为了一种重要的协议形式化分析方法.由于理想结构的特殊性,使得关于消息代数上的理想以及诚实的概念被引入到分析协议的保密性.对理想在分析其他协议安全性方面作了进一步的研究.其研究主要集中在利用理想分析协议的认证性应用、零知识性、前向安全性以及如何抵抗猜测攻击上.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡志刚	中南大学信息科学与工程学院	188	1174	17.0	23.0
2	刘守珍	中南大学信息科学与工程学院	1	0	0.0	0.0