您的位置： 专家智库 > >

尹学永

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

合作作者

文献类型

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

领域

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

主题

  • 3篇形式化
  • 3篇形式化分析
  • 2篇KERBER...
  • 1篇网络
  • 1篇网络安全
  • 1篇基于RSA
  • 1篇安全协议
  • 1篇BAN逻辑
  • 1篇KERBER...
  • 1篇KERBER...

机构

  • 3篇山东大学

作者

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

传媒

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

年份

  • 1篇2010
  • 2篇2009
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
调和两种观点的安全协议形式化分析方法研究
随着计算机网络的发展和电子商务的兴起与广泛应用，人们对网络安全的要求越来越迫切．在网络安全中，各种安全服务由安全协议来保证，因此，安全协议的安全性就显得尤为重要。在过去二十多年中，人们提出了很多安全协议，但后来的事实证明...
尹学永
关键词：安全协议形式化分析网络安全
文献传递
基于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