基于改进 GNY 逻辑的 Kerberos ＊协议安全性分析磁

来源 :计算机与数字工程 | 被引量 : 0次 | 上传用户：nsitbay

【摘要】

：

为了增强通讯网络安全性，研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议，并用改进 BAN 逻辑说明改

【作者】

：

马成林肖美华邓春艳朱科

【机构】

：

华东交通大学软件学院

【出处】

：

计算机与数字工程

【发表日期】

：

2014年10期

【关键词】

：

网络安全 KERBEROS ＊协议 GNY 形式化分析 network security Kerberos ＊ protocol GNY formal anal

【基金项目】

：

国家自然科学基金（编号：61163005）,计算机软件新技术国家重点实验室开放课题（编号：KFKT2012B18）,江西省高校科技落地计划项目（编号：KJLDl3038）,江西省自然科学基金（编号：2010GZS0150,20132BAB201033）,江西省研究生创新专项基金项目（编号：Y（、2013-S173）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了增强通讯网络安全性，研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议，并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos ＊，结合可识别性和管辖性构造一种新的管辖规则，运用改进 GNY 逻辑对协议 Ker-beros ＊进行安全性分析。分析结果表明，协议 Kerberos ＊是安全的，运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨，此方法可

其他文献

基于均值偏移的灰度图像分割方法

针对灰度图像分割往往存在的过分割或欠分割问题,提出了一种基于均值偏移的图像分割方法.该方法通过联合像素的空间位置和灰度特征,建立图像的特征矢量,构造基于像素的位置和灰度的改进核函数直方图.采用均值偏移算法搜索图像的特征模式,并以此对图像进行平滑滤波和分割.对以地物为背景的图像分割结果表明,该方法既能抑制具有纹理的大片背景,又能提取出面积较小且轮廓清晰的物体,分割的物体完整且符合人眼视觉,较有效地避

期刊

图像分割均值偏移核函数直方图灰度图像Image segmentation Mean shift Kernel function histogram

白居易的狂言绮语观在日本文学史上的影响

狂言绮语观为日本文学史重要的文艺思潮,它的早期深受中国文学的影响。本文通过对日本文学史的特点,探讨我国唐代诗人白居易的狂言绮语观对日本文学史所产生的影响。由此日本

期刊

白居易狂言绮语观日本文学史

偶氮材料中双波长共存的图象研究

测量了偶氮材料ＭＯ／ＰＶＡ和ＥＯ／ＰＶＡ的光致双折射，其值约为δｎ＝２．７×１０＾－３。在同偏振态两路简并四波混频光同时作用于样品同一区域的条件下，研究了该材料的双波长共存特性，记录了光点存储和图象存储，并分

期刊

光致双折射双波长共存偶氮材料图象Photoinduced birefringenceDFWMDual wavelength coexistionC

积极推进农村最低生活保障制度建设

推进农村最低生活保障制度的建设，应当从以下方面努力：转变观念；多渠道筹资；科学厘定农村低保的标准和对象；完善政策法规，加强管理监督；采取相应的配套措施。

期刊

农村最低生活保障制度建设

光纤光栅可调谐半导体单模超短光脉冲的研究

本文利用光纤光栅形成外腔反馈，得到量子阱半导体激光二极管单模超短光脉冲.其光谱线宽约为0.4nm，脉冲宽度约为60ps.并利用调谐装置，改变光纤光栅的反射波长，得到不同波长的超短

期刊

光纤光栅外腔反馈半导体激光二极管单模超短光脉冲Fiber Bragg gratingSemiconductor laser diodeTunable

社会主义荣辱观与唯物辩证法思想

社会主义荣辱观,以“八荣八耻”八个相反相成的短语,扬荣抑耻,充分体现了实事求是、求真务实的精神,蕴涵了唯物辩证法的深刻思想。树立社会主义荣辱观,是社会主义先进文化的

期刊

社会主义荣辱观求真务实辩证法

水平向不均匀土对箱基动力阻抗的影响

采用薄层元素法和有限单元法,建立了地基-箱形基础动力相互作用的三维分析模型,该模型可考虑箱形基础周围土的不均匀性影响。利用该模型,分析了水平方向不均匀土对箱形基础的

期刊

土-结构动力相互作用箱形基础阻抗函数不均匀土薄层元素法dynamic soil-structure interaction box foundati

大型斜拉桥风致振动可靠性分析方法

本文研究了大型柔性结构的非线性动力学行为及其引起的异频共振,提出了大型柔性结构的可靠性分析方法,并以大型斜拉桥的风致振动为例,通过对系统失效形式的分析,利用可靠性理

期刊

斜拉桥动力分析非线性可靠指标风致振动失效形式环境荷载cable-stayed bridgedynamical analysisnonlinea

船舶自适应避碰系统设计

为了避免船舶在运行过程中发生碰撞引起不必要的经济损失,论文设计了船舶主动避碰系统,设计内容核心是针对在海上航行的船只突然遇行驶问题时,系统发出相应的报警来提示船员规避风险,船员也可以及时地做出相对应的调整。在紧急情况下,该系统可以自动有效避免两船发生碰撞及水面以下障碍物碰撞情况的发生,有效降低碰撞引起的不必要经济损失和人身伤害。

期刊

损失自动规避lossautomaticavoid

浅议市场经济条件下权力的道德制约

权力是一种特殊的力量，政治权力是人类社会特有的现象。在国家社会中，所有权力都属于公共权力，是特定社会制度下赋予其权力者社会力量的体现，因此，一切社会中的权力又都是一种政治

期刊

权力政治权力公共权力道德制约

基于改进 GNY 逻辑的 Kerberos ＊协议安全性分析磁

与本文相关的学术论文