论文部分内容阅读
介绍了BAN逻辑,并用其对一个认证协议进行了分析,找到了该认证协议的一些弱点,说明了用BAN逻辑来对认证协议进行分析是有效的。最后,指出了BAN的发展方向。
认证协议的形式分析——BAN逻辑
【摘 要】
：
介绍了BAN逻辑,并用其对一个认证协议进行了分析,找到了该认证协议的一些弱点,说明了用BAN逻辑来对认证协议进行分析是有效的。最后,指出了BAN的发展方向。
【出 处】
：
通信保密
【发表日期】
：
1998年04期
其他文献
本文对用于聚类中心初始化的势函数的几个参数选择问题进行了讨论,给出了这些参数的两种形式。同时提出了一种新的使用密度函数法进行聚类中心初始化的方法,进行了一组对比实验,得到了令人满意的结果。
期刊
用等离子体动力论导出的动力形状因子研究尘埃等离子体的散射功率谱。结果表明由于尘埃粒子具有大的荷电量,对于冷电子的非相干散射,即kλ_D1(λ_D是德拜屏蔽长度,K=|k|=|Ks-Ko|,Ko是入射波矢,ks是散射波矢),尘埃粒子极大地影响散射谱的特征。散射功率谱在尘埃粒子声波频移处出现特征峰。
期刊
介绍了一种采用编译程序自动签名的反病毒方案。该方案使验证者能检测编译后程序所产生的全部病毒传染,使编译程序制作者能确定病毒传染源。因此,它是一种行之有效的反病毒方法。
期刊
网络上信息的安全传输是一个重要的问题。本文设计了一种单向密钥分发体制,即密钥的生成和密文的传输是在通信的一次交互活动中同时完成,另外信息加密前将其与一随机数共同压缩。本文还给出了该体制的具体实现,并指出了其优点以及分析了安全性。
期刊
本文在论述大数生成的理论价值及应用意义的基础上,着重论述了大组合数的产生算法及其计算机实现技术,并给出了笔者研制出的体现该算法的3280MPS计算机软件所得到的部分印证数据,介绍了组合数在素性检测中的若干应用。
期刊
操作系统安全保密的核心是访问控制。基本访问控制矩阵作为一种数学模型,在许多实际系统的访问控制中得到了应用,但是它不能满足对安全性有特殊要求的操作系统。本文在基本访问控制矩阵的基础上加上了访问条件,提出了一种三维访问控制矩阵;并且就主体和客体按访问条件的分类对这种矩阵的简化提出了一些看法。作为上述观点的实际例子,本文还介绍了一种非接触式IC卡的访问控制机制。
期刊
据《SECURITY》1998年第5期报道:美国Digital Security Controls公司最近研制出了一种新系统,称之为MAXSYS,将其组合在某一系统安全中,可具有高达128圈,32门访问控制,
期刊