论文部分内容阅读
BAN逻辑可以证明协议是否能够达到预期目标，还能够发现协议中存在的一些缺陷，为进一步改进提供参考。但是，通过一个认证协议的例子证明，该文指出，BAN逻辑对于诸如弱密钥方面存在的密钥猜测攻击的分析存在缺陷，还需结合非形化的方法来加以解决。
BAN逻辑在协议分析中的密钥猜测分析缺陷
【摘 要】
：
BAN逻辑可以证明协议是否能够达到预期目标，还能够发现协议中存在的一些缺陷，为进一步改进提供参考。但是，通过一个认证协议的例子证明，该文指出，BAN逻辑对于诸如弱密钥方面存在的
【机 构】
：
贵州大学计算机软件与理论研究所
【出 处】
：
计算机工程
【发表日期】
：
2006年9期
其他文献
HighconsumptioninshipequipmentisoneofthebiggestobstaclesforChinatomakeashipbuildingpower.Thereasonwhyhighconsumptioninshipequipmentisgettingmoreandmoreintense?M
期刊
Propagation of electromagnetic wave (EW) through multilayer structure consisting anisotropic layers with gradient refractive index material is studied theoretic
邻苯二甲酸二(2-乙基-己基)酯(DEHP)作为环境中丰富存在的内分泌干扰物,易于迁入环境,不易被降解,已受到人们的普遍重视。现有实验证明DEHP会造成神经、甲状腺、肾脏、心脏、
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
以传统生涯教育理论为指导的大学生生涯教育,已然不能适应充满不确定性的经济社会发展需要,而主张以积极接纳不确定性、关注生涯适应力提升为核心的后现代生涯理论则为高校大
我国医疗卫生资源分布不均衡与服务区域不相称,呼吁互联网医疗的介入并深度发展,这对于均衡资源配置和促进分级诊疗制度的形成大有裨益。为此,国家出台了多项政策给予有力支
浅埋偏压隧道施工工法及开挖顺序的合理选择,直接影响隧道周边围岩及支护结构的安全性。以回头沟隧道浅埋偏压段右幅进口段为工程依托,运用MIDAS/GTS软件进行二维数值模拟,通
In-depth studies of solar flares emissions and energy releases include analyses of polarization data. Polarization gives clear information about mechanisms and
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
Hamiltonian Representation of Higher Order Partial Differential Equations with Boundary Energy Flows
This paper presents a system representation that can be applied to the description of the interaction between systems connected through common boundaries. The s