密码协议的一种基于组合推理的模型验证

您当前的位置：

首页 >

文章列表页 >

密码协议的一种基于组合推理的模型验证

更新时间：2024-10-14

- 密码协议的一种基于组合推理的模型验证
- Issue 9, Pages: 122-127(2003)
- 作者机构：
  
  1.   北京航空航天大学计算机科学与工程系
  2.   中科院软件所信息安全国家重点实验室北京100083
  3.   北京100080
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN918
- Published：2003
- 稿件说明：
移动端阅览
[1]刘怡文,李伟琴,冯登国.密码协议的一种基于组合推理的模型验证[J].通信学报,2003(09):122-127.

[J]. 2003, (9): 122-127.
[1]刘怡文,李伟琴,冯登国.密码协议的一种基于组合推理的模型验证[J].通信学报,2003(09):122-127. DOI：

[J]. 2003, (9): 122-127. DOI：

摘要

将密码协议与协议中用到的密码算法视为一个系统

基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法

证明了该规则的正确性

实现了密码协议系统的模型验证

并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例

利用该组合推理技术对密码协议系统进行了安全验证。1

Abstract

关键词

Keywords

references

Views

647

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

TCP安全框架的研究

口令认证方案的安全性改进及其相应的数字签名方案

认证协议相关性分析

国内外密码学研究现状及发展趋势

特洛伊木马隐藏技术研究

Related Author

王行刚

韦卫

肖国镇

祁明

尤晋元

梁坚

张亚英

冯登国

Related Institution

中国科学院计算技术研究所

华南理工大学

西安电子科技大学

华南理工大学西安电子科技大学

上海交通大学分布计算技术中心

AI问答

⁰

密码协议的一种基于组合推理的模型验证

DOI：

摘要

Abstract

关键词

Keywords

references