您的位置： 专家智库 > >

程娜

作品数：2 被引量：2H指数：1
供职机构：西南交通大学信息科学与技术学院信息安全与国家计算网格实验室更多>>
发文基金：国家重点实验室开放基金更多>>
相关领域：电子电信自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇代理
  • 1篇代理多重
  • 1篇形式化
  • 1篇形式化分析
  • 1篇数字签名
  • 1篇数字签名方案
  • 1篇签名
  • 1篇签名方案
  • 1篇伪造攻击
  • 1篇公平
  • 1篇公平性分析
  • 1篇安全协议
  • 1篇SPACE
  • 1篇STRAND

机构

  • 2篇西南交通大学
  • 1篇中国船舶工业...

作者

  • 2篇何大可
  • 2篇程娜
  • 1篇陈浩

传媒

  • 2篇信息安全与通...

年份

  • 1篇2006
  • 1篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
代理多重数字签名方案的改进被引量：2
2005年
Wang Xiao-ming和Fu Fang-wei在Qi和Harn的代理多重数字签名方案的基础上,提出了一种防止伪造攻击的更为安全的方案。本文针对该方案的不足,在不引入第三方的情况下提出了一种更为安全而简洁的代理多重数字签名方案。
程娜何大可
关键词：数字签名方案代理伪造攻击
ISI支付协议的Strand Space模型及其公平性分析
2006年
文章利用StrandSpace模型对ISI支付协议进行了分析,得出了与卿_周逻辑分析方法相同的结论,并将StrandSpace模型对认证协议协定性的分析方法应用到了电子商务协议公平性的分析。
陈浩程娜何大可
关键词：安全协议形式化分析STRANDSPACE
全选 清除 导出
共1页<1>
聚类工具0