原文服务方: 微电子学与计算机       
摘要:
文章给出了面向主体的密码协议设计逻辑;根据提供的不同安全服务,将密码协议中的密码机制抽象为不同信道;形式化地描述了密码协议目的细化、不同消息元素对安全服务的需求、消息与协议运行环境的关联性、消息内容的全信息性和消息优化,将它们作为密码协议的设计规则和预防攻击的方法;在密码协议的设计步骤中考虑了密码协议的目的、主体的角色及其特性、密码机制、初始假设和消息内容的设计;根据给出的设计逻辑、设计规则和设计步骤形式化和系统化地设计了一个新的基于挑战/响应相互身份认证和Diffie-Hellman密钥协商机制的密码协议;最后将本文设计的逻辑与BSW逻辑进行了比较.
推荐文章
密码协议主体角色进程表示
密码协议
主体角色进程
串空间图
形式化建模
一种面向分组密码的指令扩展方法
分组密码
指令扩展
微处理器
数据触发
一种复合协议验证逻辑模型
复合协议
形式化分析
逻辑模型
并行复合
顺序复合
IKEv2协议
面向密码协议的半实物网络仿真方法
密码协议
半实物网络仿真
形式化建模
Cryptlib
OMNeT++
封装安全载荷
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种面向主体的密码协议设计逻辑
来源期刊 微电子学与计算机 学科
关键词 主体 逻辑 认证 密钥协商 信道
年,卷(期) 2005,(5) 所属期刊栏目
研究方向 页码范围 46-56
页数 11页 分类号 TP309
字数 语种 中文
DOI 10.3969/j.issn.1000-7180.2005.05.013
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 侯紫峰 中国科学院计算技术研究所 40 444 12.0 19.0
5 韦卫 23 419 10.0 20.0
6 吴秋新 29 53 4.0 6.0
7 华东明 中国科学院计算技术研究所 3 8 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (8)
共引文献  (11)
参考文献  (6)
节点文献
引证文献  (2)
同被引文献  (0)
二级引证文献  (0)
1976(1)
  • 参考文献(1)
  • 二级参考文献(0)
1980(2)
  • 参考文献(0)
  • 二级参考文献(2)
1982(1)
  • 参考文献(0)
  • 二级参考文献(1)
1984(1)
  • 参考文献(0)
  • 二级参考文献(1)
1985(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(2)
  • 参考文献(2)
  • 二级参考文献(0)
1992(2)
  • 参考文献(0)
  • 二级参考文献(2)
1993(2)
  • 参考文献(1)
  • 二级参考文献(1)
1994(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2005(1)
  • 引证文献(1)
  • 二级引证文献(0)
2007(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
主体
逻辑
认证
密钥协商
信道
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
微电子学与计算机
月刊
1000-7180
61-1123/TN
大16开
1972-01-01
chi
出版文献量(篇)
9826
总下载数(次)
0
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导