您的位置: 专家智库 > 作者详情>曹永超

曹永超

作品数:2 被引量:0H指数:0
供职机构:山东大学数学学院更多>>
发文基金:山东省自然科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

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

领域

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

主题

  • 2篇形式化
  • 2篇形式化分析
  • 2篇KERBER...
  • 1篇基于RSA
  • 1篇BAN逻辑
  • 1篇KERBER...
  • 1篇KERBER...

机构

  • 2篇山东大学

作者

  • 2篇尹学永
  • 2篇秦静
  • 2篇曹永超

传媒

  • 1篇山东大学学报...
  • 1篇第十九届全国...

年份

  • 1篇2010
  • 1篇2009
2 条 记 录,以下是 1-2
排序方式:
基于RSA填充方案的Kerberos协议
针对Kerberos认证协议的缺陷和不足,用Coron、Naccache等人提出的加密签名通用的RSA填充方案对其进行了改进,提出了一个基于RSA填充方案的Kerberos协议,并用BAN逻辑验证了改进后的协议满足Ker...
尹学永秦静曹永超
关键词:KERBEROS协议BAN逻辑形式化分析
利用RSA填充方案改进Kerberos认证协议
2010年
利用Coron、Naccache等人提出的加密签名通用的RSA填充方案对Kerberos认证协议进行改进。对改进后的协议,用BAN逻辑验证其满足Kerberos协议的基本安全目标,并对其效率和一些新的安全特性进行了分析。
尹学永秦静曹永超
关键词:KERBEROS协议形式化分析
共1页<1>
聚类工具0