检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到7篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

改进型Helsinki协议的串空间模型分析: 1; 作者成敏盈陈潮填徐文华《计算机工程与设计》 CSCD 北大核心 2008年第19期4923-4925,共3页; Helsinki协议是ISO/IECDIS11770-3中提出的重要认证协议,由于协议受到来自内部的攻击,Mithcell-Yeun对其进行了改进。但改进后协议的安全性仍未得到确认,为了验证改进协议是否满足其安全目标,利用串空间模型对协议进行了建模和分析。通... 展开更多; 关键词安全协议串空间 helsinki协议模型分析安全性; 在线阅读下载PDF 职称材料

安全协议的SPIN建模与分析被引量：3: 2; 作者陈春玲田国良《南京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第5期672-676,共5页; 总结了利用模型检测工具SPIN对安全协议进行建模的方法。以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验,发现了Helsinki存在的Horng-Hsu攻击漏洞以及Helsinki改进协议存在的... 展开更多; 关键词安全协议 helsinki协议 Promela语言建模; 在线阅读下载PDF 职称材料

运行模式法分析ISO/IEC密钥建立协议被引量：1: 3; 作者张玉清王春玲冯登国《通信学报》 EI CSCD 北大核心 2005年第2期15-18,共4页; 基于作者提出的运行模式法分析了ISO/IEC DIS 11770-3所提出的一个密钥建立协议(Helsinki密码协议)。分析结果表明Horng-Hsu攻击是Helsinki密码协议的惟一攻击,提出了一种改进的Helsinki密码协议,该协议可以防止Horng-Hsu攻击并比以前... 展开更多; 关键词信息安全形式方法运行模式 helsinki密码协议; 在线阅读下载PDF 职称材料

基于事件逻辑的改进型Helsinki协议的形式化分析: 4; 作者肖美华罗运先钟小妹《计算机应用与软件》 2026年第1期325-332,共8页; 安全协议是现代网络通信的基础,证明协议的安全性问题是当今研究热点之一。事件逻辑是一种基于事件系统证明协议安全属性的形式化方法,结合事件类以及事件序语言,利用原子类型表示随机数、密钥等不可猜测的数据,能有效刻画协议系统。针... 展开更多; 关键词安全协议事件逻辑形式化方法 helsinki协议; 在线阅读下载PDF 职称材料

安全协议形式化分析方法的融合性研究: 5; 作者卜奎昊《西北师范大学学报（自然科学版）》 CAS 北大核心 2010年第5期40-44,共5页; 分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效.; 关键词安全协议 helsinki协议 BAN逻辑串空间; 在线阅读下载PDF 职称材料

改进型有色Petri网的安全协议分析被引量：2: 6; 作者王宁丽余道华《安徽工业大学学报（自然科学版）》 CAS 2010年第4期413-418,共6页; 针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法。给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析。实验证明,这种... 展开更多; 关键词安全协议有色PETRI网形式化分析 helsinki协议; 在线阅读下载PDF 职称材料

一种改进的TCP连接迁移安全机制: 7; 作者洪小亮郭义喜《计算机工程》 CAS CSCD 北大核心 2008年第20期187-189,共3页; TCP连接迁移技术使网络可以在主服务器发生故障的情况下稳定地提供服务。该文分析基于椭圆曲线Diffie-Hellman密钥协商的连接迁移安全机制中存在的中间人攻击问题,利用改进的Helsinki协议进行连接密钥的协商,提出一种新的安全机制。该... 展开更多; 关键词 TCP连接迁移迁移选项 helsinki协议安全性; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部