贵州省省长专项基金项目(2005368)
- 作品数：2 被引量：3H指数：1
- 相关作者：李祥罗文俊龙士工袁超伟彭长根更多>>
- 相关机构：贵州大学北京邮电大学更多>>
- 发文基金：贵州省省长专项基金项目国家自然科学基金贵州省自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 模态逻辑与带变量串空间相结合的协议分析
- 2007年
- 在传统的串空间基础上引入带变量的串空间模型,对于未确定的消息项或其子项用变量表示,允许变量出现在消息项及其演算中,协议由参与协议运行的不同主体的带变量的串组成。以协议运行的迹语义为模型,提出了一个用于推理协议主体的各种行为的模态逻辑系统,给出了该逻辑的语法、公理及推理规则。基本的模态公式[P]Aφ表示主体A完成动作P,φ是相应的结果,通过主体行为的各种组合并绑定相应逻辑公式,最终推断安全协议的秘密性和可鉴别性。用该方法分析Helsinki协议,能发现其中的安全漏洞Horng-Hsu攻击。
- 龙士工罗文俊彭长根李祥
- 关键词：安全协议串空间逻辑
- 串空间模型中的口令猜测攻击被引量：3
- 2007年
- 给出了鉴别协议猜测攻击的串空间模型.扩充了攻击者串和密码运算类型,重新定义了理想概念,并证明了相关定理.扩展的诚实理想分析模型不仅继承了原理论的有关性质,而且适应猜测攻击的分析.以GLNS协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.
- 龙士工罗文俊袁超伟李祥
- 关键词：串空间
