您的位置： 专家智库 > >

倪阳

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇认证密钥交换...
  • 1篇随机函数
  • 1篇伪随机
  • 1篇伪随机函数
  • 1篇密钥交换
  • 1篇密钥交换协议
  • 1篇可证安全

机构

  • 1篇中国科学院研...

作者

  • 1篇倪阳
  • 1篇张玉清

传媒

  • 1篇中国科学院研...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
TLS握手协议的计算模型分析被引量：2
2008年
用BR模型对TLS握手协议进行了计算分析与安全性证明.TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中.对该协议主要通信过程进行了总结、建模和分析,证明当协议所采用的公钥加密函数和消息认证函数均满足计算模型安全性要求时,TLS握手协议在BR计算模型下是安全的.
倪阳张玉清
关键词：认证密钥交换协议可证安全伪随机函数
全选 清除 导出
共1页<1>
聚类工具0