留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

一种安全协议的规范化设计方法

邓帆 李益发 张文政

邓帆, 李益发, 张文政. 一种安全协议的规范化设计方法[J]. 武汉大学学报 ● 信息科学版, 2010, 35(5): 603-606.
引用本文: 邓帆, 李益发, 张文政. 一种安全协议的规范化设计方法[J]. 武汉大学学报 ● 信息科学版, 2010, 35(5): 603-606.
DENG Fan, LI Yifa, ZHANG Wenzheng. A Standardized Method of Security Protocol Design[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 603-606.
Citation: DENG Fan, LI Yifa, ZHANG Wenzheng. A Standardized Method of Security Protocol Design[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 603-606.

一种安全协议的规范化设计方法

基金项目: 成都市现代通信技术国家重点实验室基金资助项目(9140C1103040902)
详细信息
    作者简介:

    邓帆,硕士生,研究方向为安全协议的设计与分析。

  • 中图分类号: TP309

A Standardized Method of Security Protocol Design

Funds: 成都市现代通信技术国家重点实验室基金资助项目(9140C1103040902)
计量
  • 文章访问数:  722
  • HTML全文浏览量:  24
  • PDF下载量:  278
  • 被引次数: 0
出版历程
  • 收稿日期:  2010-03-15
  • 修回日期:  2013-07-09
  • 刊出日期:  2010-05-05

一种安全协议的规范化设计方法

    基金项目:  成都市现代通信技术国家重点实验室基金资助项目(9140C1103040902)
    作者简介:

    邓帆,硕士生,研究方向为安全协议的设计与分析。

  • 中图分类号: TP309

摘要: 提出了应用组合方法进行安全协议的规范化设计,给出了协议中基件与组件的定义,分析了组件的安全属性,及基于组件设计能实现相应安全目标的单步协议;定义了组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。至此,根据具体的应用背景选择合适的单步协议,按照组合规则组合后,便可得到满足需求的安全协议。该方法可将一个复杂协议分解为若干基于组件的简单单步协议,使得协议的设计与分析都易于实现。

English Abstract

邓帆, 李益发, 张文政. 一种安全协议的规范化设计方法[J]. 武汉大学学报 ● 信息科学版, 2010, 35(5): 603-606.
引用本文: 邓帆, 李益发, 张文政. 一种安全协议的规范化设计方法[J]. 武汉大学学报 ● 信息科学版, 2010, 35(5): 603-606.
DENG Fan, LI Yifa, ZHANG Wenzheng. A Standardized Method of Security Protocol Design[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 603-606.
Citation: DENG Fan, LI Yifa, ZHANG Wenzheng. A Standardized Method of Security Protocol Design[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 603-606.

目录

    /

    返回文章
    返回