期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
认证协议安全性的非形式化分析
1
作者
董玲
温蜜
+1 位作者
陈克非
郑燕飞
《小型微型计算机系统》
CSCD
北大核心
2008年第7期1343-1346,共4页
安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要.本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确性,从而使我们能够给出其协议修正版本的攻击.通过对安全协...
安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要.本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确性,从而使我们能够给出其协议修正版本的攻击.通过对安全协议不安全实质的分析,文章指出实现安全认证协议的必要条件:主体的活现性和新鲜性标志符的新鲜性和关联性.最后,以问答式认证协议为例,指出了保证主体的活现性和新鲜性标志符的新鲜性和关联性的方法.
展开更多
关键词
安全协议
活现性
新鲜性
关联性
非形式化分析
在线阅读
下载PDF
职称材料
适用于智能电表双向互动系统的安全通信协议
被引量：
23
2
作者
赵兵
翟峰
+3 位作者
李涛永
李保丰
付义伦
岑炜
《电力系统自动化》
EI
CSCD
北大核心
2016年第17期93-98,共6页
根据智能电表双向互动系统逻辑结构和业务需求,提出了一种融合协议过滤、双向身份认证、访问列表查询和优先级控制等方法的智能电表双向互动、多重防护安全通信协议(BIMP),并采用BAN逻辑形式化分析方法和非形式化分析方法验证了其性能。...
根据智能电表双向互动系统逻辑结构和业务需求,提出了一种融合协议过滤、双向身份认证、访问列表查询和优先级控制等方法的智能电表双向互动、多重防护安全通信协议(BIMP),并采用BAN逻辑形式化分析方法和非形式化分析方法验证了其性能。BIMP在达到预期目标的同时具有安全保密性、抗攻击性、通信效率较高等特点,能够满足智能电表双向互动系统实际业务应用需求。
展开更多
关键词
智能电表
双向互动
安全通信协议
BAN逻辑
非形式化分析
在线阅读
下载PDF
职称材料
题名
认证协议安全性的非形式化分析
1
作者
董玲
温蜜
陈克非
郑燕飞
机构
上海交通大学计算机科学与技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第7期1343-1346,共4页
基金
国家"八六三"计划项目(2006AA1Z422)资助
文摘
安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要.本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确性,从而使我们能够给出其协议修正版本的攻击.通过对安全协议不安全实质的分析,文章指出实现安全认证协议的必要条件:主体的活现性和新鲜性标志符的新鲜性和关联性.最后,以问答式认证协议为例,指出了保证主体的活现性和新鲜性标志符的新鲜性和关联性的方法.
关键词
安全协议
活现性
新鲜性
关联性
非形式化分析
Keywords
cryptographic protocol
liveness
freshness
association
informal analysis
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
适用于智能电表双向互动系统的安全通信协议
被引量：
23
2
作者
赵兵
翟峰
李涛永
李保丰
付义伦
岑炜
机构
中国电力科学研究院
出处
《电力系统自动化》
EI
CSCD
北大核心
2016年第17期93-98,共6页
基金
国家电网公司科技项目(JL71-15-036)~~
文摘
根据智能电表双向互动系统逻辑结构和业务需求,提出了一种融合协议过滤、双向身份认证、访问列表查询和优先级控制等方法的智能电表双向互动、多重防护安全通信协议(BIMP),并采用BAN逻辑形式化分析方法和非形式化分析方法验证了其性能。BIMP在达到预期目标的同时具有安全保密性、抗攻击性、通信效率较高等特点,能够满足智能电表双向互动系统实际业务应用需求。
关键词
智能电表
双向互动
安全通信协议
BAN逻辑
非形式化分析
Keywords
smart meter
bidirectional interaction
security communication protocol
BAN logic
non-formal analysis
分类号
TM73 [电气工程—电力系统及自动化]
TM933.4 [电气工程—电力电子与电力传动]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
认证协议安全性的非形式化分析
董玲
温蜜
陈克非
郑燕飞
《小型微型计算机系统》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
2
适用于智能电表双向互动系统的安全通信协议
赵兵
翟峰
李涛永
李保丰
付义伦
岑炜
《电力系统自动化》
EI
CSCD
北大核心
2016
23
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
