咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学

主题

  • 1 篇 形式化方法
  • 1 篇 密码学
  • 1 篇 单钥加密系统
  • 1 篇 加密协议分析
  • 1 篇 时序逻辑

机构

  • 1 篇 广州大学
  • 1 篇 中国科学院研究生...
  • 1 篇 华南农业大学
  • 1 篇 武汉大学

作者

  • 1 篇 刘才兴
  • 1 篇 周权
  • 1 篇 张焕国
  • 1 篇 肖德琴

语言

  • 1 篇 中文
检索条件"主题词=加密协议分析"
1 条 记 录,以下是1-10 订阅
排序:
基于时序逻辑的加密协议分析
收藏 引用
计算机学报 2002年 第10期25卷 1083-1089页
作者: 肖德琴 周权 张焕国 刘才兴 中国科学院研究生院信息安全国家重点实验室 北京100080 广州大学理学院数学系信息安全研究所 广州510405 武汉大学计算机学院软件工程国家重点实验室 武汉430072 华南农业大学理学院计算机系 广州510642
形式化方法由于其精炼、简洁和无二义性 ,逐步成为分析加密协议的一条可靠和准确的途径 ,但是加密协议的形式化分析研究目前还不够深入 ,至今仍没有统一的加密协议验证体系 .针对这一现状 ,该文从加密协议可能面临的最强大的攻击着手 ,... 详细信息
来源: 评论