认证协议相关性分析

您当前的位置：

首页 >

文章列表页 >

认证协议相关性分析

更新时间：2024-10-14

- 认证协议相关性分析
- Issue 1, Pages: 103-110(2002)
- 作者机构：
  
  1. 上海交通大学分布计算技术中心
  2. 上海交通大学分布计算技术中心上海200030
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN918.91
- Published：2002
- 稿件说明：
移动端阅览
[1]张亚英,梁坚,尤晋元.认证协议相关性分析[J].通信学报,2002(01):103-110.

[J]. 2002, (1): 103-110.
[1]张亚英,梁坚,尤晋元.认证协议相关性分析[J].通信学报,2002(01):103-110. DOI：

[J]. 2002, (1): 103-110. DOI：

摘要

本文提出认证协议的相关性问题

并引入关联因子的概念

从消息相关和协议相关两个层次上对相关性进行描述

同时将协议的运行看作是攻击者和协议环境交互的模型。我们用CSP的模型检查工具FDR2对该模型进行形式化描述

以著名的Needham-Schroeder 公钥协议为例分析其相关性

得出了理想的结果。

Abstract

关键词

Keywords

references

Views

566

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

移动用户认证中的匿名问题

改进的3G认证与密钥分配协议

移动通信系统系统级仿真中慢衰落相关性的研究

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

Temperature Dependence of the Photoluminescence Properties and the Research on the Mechanism of In_0.2Ga_0.8As/GaAs Single Quantum Well

Related Author

田建波

郑东

陈克非

刘东苏

韦宝典

王新梅

孙程君

张中兆

Related Institution

上海交通大学计算机科学与工程系上海200030

西安电子科技大学综合业务网国家重点实验室

西安电子科技大学综合业务网国家重点实验室陕西西安710071

哈尔滨工业大学通信技术研究所

清华大学电子工程系

AI问答

⁰