期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
eXtended Triple Diffie-Hellman协议的安全性分析 被引量:3
1
作者 刘佳路 刘璟 +3 位作者 杨佳宁 宋恒贤 雷欣雨 陈慧 《计算机应用》 CSCD 北大核心 2022年第S01期160-165,共6页
针对X3DH(eXtended Triple Diffie-Hellman)协议安全性的问题,使用形式化分析工具OFMC(On-the-Fly Model-Checker)和协议建模语言AnB对协议进行验证。首先,在Types部分对协议涉及到的通信实体进行了建模;然后,在Knowlegde部分规定了各... 针对X3DH(eXtended Triple Diffie-Hellman)协议安全性的问题,使用形式化分析工具OFMC(On-the-Fly Model-Checker)和协议建模语言AnB对协议进行验证。首先,在Types部分对协议涉及到的通信实体进行了建模;然后,在Knowlegde部分规定了各通信实体的先验知识;其次,在Actions部分对协议的协商流程进行了建模;最后,在Goals部分对协议的机密性、完整性、双向鉴别性等安全目标进行了建模。实验结果表明,X3DH协议作为Signal协议的核心,实现了密钥协商协议所要求的机密性、完整性、双向鉴别性等安全目标,并且形式化分析工具既可以减少工作量,又可以发现人工不易发现的协议漏洞,从而更加全面、高效地验证协议的安全性。 展开更多
关键词 X3DH协议 形式化分析工具 ofmc Signal协议
在线阅读 下载PDF
The Finite Beta Effects on the Toroidal Field Ripple in a Tokamak Plasma 被引量:1
2
作者 M.BUNNO Y.NAKAMURA +3 位作者 Y.SUZUKI K.SHINOHARA G.MATSUNAGA K.TANI 《Plasma Science and Technology》 SCIE EI CAS CSCD 2013年第2期115-118,共4页
The efficiency of energetic ion confinement is reduced in a tokamak plasma by the non-axisymmetric field, namely the ripple field. The ripple field is produced by a finite number of toroidal field coils. It is affecte... The efficiency of energetic ion confinement is reduced in a tokamak plasma by the non-axisymmetric field, namely the ripple field. The ripple field is produced by a finite number of toroidal field coils. It is affected by the non-axisymmetric finite beta effect. The three-dimensional MHD equilibrium calculation code VMEC is used to analyze the non-axisymmetric finite beta effect in a ripple tokamak. In the VMEC code, the flux coordinates are used, so the calculation region is limited to the area of plasma. To calculate the orbit outside the plasma, we develop a field calculation code, which is based on the Biot-Savart law. The details of the method and results are described in this paper. 展开更多
关键词 RIPPLE VMEC ITER alpha particle F3D-ofmc
在线阅读 下载PDF
基于NPlab的H.530协议分析
3
作者 魏占祯 马宇 刘倩 《北京电子科技学院学报》 2015年第4期18-23,共6页
针对H.530协议本身的安全漏洞,利用网络通信设计工具NPlab对H.530协议进行了来自于四种不同模型检测器的分析,并对OFMC检测模型所分析出的重放攻击的攻击路径和攻击过程进行分析,发现了H.530协议是不安全的,它有可能遭受来自攻击者的重... 针对H.530协议本身的安全漏洞,利用网络通信设计工具NPlab对H.530协议进行了来自于四种不同模型检测器的分析,并对OFMC检测模型所分析出的重放攻击的攻击路径和攻击过程进行分析,发现了H.530协议是不安全的,它有可能遭受来自攻击者的重放攻击。H.530协议是描述H.323协议多媒体移动环境安全规程的协议,本文提出通过增加有效的身份标识对H.530协议进行改进,从而更好地为H.323协议的多媒体移动环境提供安全保障。 展开更多
关键词 H.530协议 NPlab OPMC捡测器 安全分析
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部