您的位置： 专家智库 > >

张玲玲

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇安全协议
  • 1篇N-S
  • 1篇串空间
  • 1篇串空间模型

机构

  • 1篇聊城大学

作者

  • 1篇谢圣献
  • 1篇贾仰理
  • 1篇张玲玲

传媒

  • 1篇聊城大学学报...

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于串空间模型的认证测试方法
2015年
串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.
张玲玲谢圣献贾仰理
关键词：安全协议串空间模型
全选 清除 导出
共1页<1>
聚类工具0