您的位置: 专家智库 > >

解颜铭

作品数:6 被引量:5H指数:2
供职机构:湖北师范学院计算机科学与技术学院更多>>
发文基金:湖北省教育厅青年基金湖北省自然科学基金湖北省教育厅重点项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 4篇串空间
  • 4篇串空间模型
  • 3篇形式化
  • 3篇形式化分析
  • 3篇安全协议
  • 1篇电子邮件
  • 1篇电子邮件协议
  • 1篇邮件
  • 1篇邮件协议
  • 1篇认证性
  • 1篇逻辑系统
  • 1篇机密
  • 1篇机密性
  • 1篇OTWAY-...
  • 1篇SVO逻辑
  • 1篇BAN逻辑
  • 1篇CCITT
  • 1篇KAILAR...

机构

  • 6篇湖北师范学院

作者

  • 6篇石曙东
  • 6篇解颜铭
  • 6篇翁艳琴

传媒

  • 2篇微型机与应用
  • 2篇湖北师范学院...
  • 1篇计算机安全
  • 1篇信息通信

年份

  • 1篇2013
  • 4篇2012
  • 1篇2011
6 条 记 录,以下是 1-6
排序方式:
基于串空间认证测试理论的认证协议分析被引量:2
2012年
对增强型认证测试理论进行简化,使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中,发现协议存在的缺陷,对协议进行改进,并对改进后的协议进行了分析验证。
翁艳琴石曙东解颜铭
关键词:串空间模型
Aziz-Diffie协议的形式化分析及其改进
2011年
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议安全性的一条可靠而准确的途径。作为形式化分析方法的典型代表BAN逻辑由于其直观、易用等优点得到广泛的应用。概述了BAN逻辑,并基于BAN逻辑对Aziz-Diffie无线网络密钥协议进行了形式化描述和分析,验证了协议存在的漏洞,同时提出了该协议的改进方案。
翁艳琴石曙东解颜铭
关键词:BAN逻辑形式化分析
基于串空间模型的改进型Otway-Rees协议分析
2012年
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的Otway-Rees协议进行了形式化的分析。新的Otway-Rees协议满足其安全目标,是安全可行的。
解颜铭石曙东翁艳琴
关键词:安全协议OTWAY-REES协议串空间认证性机密性
一种新的电子邮件协议及其形式化分析
2013年
在安全协议的形式化分析方法中,串空间模型和基于串空间模型的协议认证分析方法是比较常用的验证方法。分析了DKNRP协议存在一定的缺陷,并提出一种新的电子邮件协议,基于扩展的串空间模型采用认证测试方法,验证了新协议可以满足其安全目标。
解颜铭石曙东翁艳琴
关键词:串空间模型电子邮件协议
CCITT X.509协议的形式化分析及其改进被引量:1
2012年
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。
解颜铭石曙东翁艳琴
关键词:安全协议CCITT串空间模型
Kailar逻辑的改进及应用被引量:2
2012年
综合Kailar逻辑和SVO逻辑两种协议分析方法的优点,借助SVO逻辑的思想对Kailar逻辑进行了改进,使其更好地应用于不可否认协议的可追究性分析和设计。同时,将改进后的Kailar逻辑应用在类NG协议的分析中,分析结果证明了该协议可追究方面的安全性质。
翁艳琴石曙东解颜铭
关键词:逻辑系统KAILAR逻辑SVO逻辑安全协议
共1页<1>
聚类工具0