您的位置： 专家智库 > >

唐志坚

作品数：2 被引量：2H指数：1
供职机构：西安工程科技学院计算机科学学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇形式化
  • 2篇形式化分析
  • 1篇密码
  • 1篇密码协议

机构

  • 2篇西安工程科技...
  • 2篇中国科学院研...

作者

  • 2篇唐志坚
  • 2篇王春玲
  • 2篇张玉清
  • 2篇薛纪文

传媒

  • 1篇通信学报
  • 1篇计算机应用研...

年份

  • 2篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
运行模式法分析密码协议实例研究
2005年
在介绍两方密码协议运行模式分析法的基础上，运用运行模式分析法对自行设计的TW两方密码协议进行了分析，成功地发现了TW协议的攻击，并验证了此协议的安全性，说明了两方密码协议运行模式分析法的有效性。
王春玲唐志坚张玉清薛纪文
关键词：密码协议形式化分析
运行模式法分析TW密码协议被引量：2
2005年
在介绍两方密码协议运行模式分析法的基础上,运用运行模式分析法对自行设计的TW两方密码协议进行了分析,成功地发现了TW协议的攻击,并验证了此协议的安全性,说明了两方密码协议运行模式分析法的有效性。
王春玲唐志坚张玉清薛纪文
关键词：形式化分析
全选 清除 导出
共1页<1>
聚类工具0