您的位置： 专家智库 > >

陈浩

作品数：1 被引量：0H指数：0
供职机构：中国船舶工业集团公司更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇公平
  • 1篇公平性分析
  • 1篇安全协议
  • 1篇SPACE
  • 1篇STRAND

机构

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

作者

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

传媒

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

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
ISI支付协议的Strand Space模型及其公平性分析
2006年
文章利用StrandSpace模型对ISI支付协议进行了分析,得出了与卿_周逻辑分析方法相同的结论,并将StrandSpace模型对认证协议协定性的分析方法应用到了电子商务协议公平性的分析。
陈浩程娜何大可
关键词：安全协议形式化分析STRANDSPACE
全选 清除 导出
共1页<1>
聚类工具0