您的位置： 专家智库 > >

邓春艳

作品数：2 被引量：5H指数：1
供职机构：华东交通大学软件学院更多>>
发文基金：国家重点实验室开放基金江西省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇网络
  • 2篇网络安全
  • 2篇协议安全性分...
  • 2篇安全性
  • 2篇GNY逻辑
  • 2篇KERBER...
  • 1篇形式化
  • 1篇形式化分析

机构

  • 2篇华东交通大学

作者

  • 2篇朱科
  • 2篇肖美华
  • 2篇邓春艳
  • 2篇马成林

传媒

  • 1篇计算机与数字...

年份

  • 2篇2014
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于改进GNY逻辑的Kerberos*协议安全性分析
增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证.Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进BAN逻辑说明改进协议的安全性.针对添加用户物理位置这一因素进...
马成林肖美华邓春艳朱科
关键词：网络安全GNY逻辑安全性
基于改进GNY逻辑的Kerberos*协议安全性分析被引量：5
2014年
为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进BAN逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议Kerberos*,结合可识别性和管辖性构造一种新的管辖规则,运用改进GNY逻辑对协议Kerberos*进行安全性分析。分析结果表明,协议Kerberos*是安全的,运用改进GNY逻辑证明过程比改进BAN逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。
马成林肖美华邓春艳朱科
关键词：网络安全KERBEROS形式化分析
全选 清除 导出
共1页<1>
聚类工具0