您的位置： 专家智库 > >

谭立力

作品数：1 被引量：3H指数：1
供职机构：卫士通信息产业股份有限公司更多>>
发文基金：国家重点实验室开放基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇密码
  • 1篇密码协议
  • 1篇CCITT
  • 1篇串空间
  • 1篇串空间模型

机构

  • 1篇电子科技大学
  • 1篇卫士通信息产...

作者

  • 1篇谢鸿波
  • 1篇谭兴烈
  • 1篇刘璟
  • 1篇谭立力

传媒

  • 1篇计算机应用

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
串空间模型的原理与应用被引量：3
2005年
介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。
谭立力刘璟谢鸿波谭兴烈
关键词：密码协议串空间CCITT
全选 清除 导出
共1页<1>
聚类工具0