您的位置： 专家智库 > >

徐洋

作品数：2 被引量：2H指数：1
供职机构：贵州大学计算机科学与技术学院更多>>
发文基金：贵州省科学技术基金贵州省自然科学基金更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇经济管理

主题

  • 1篇电子支付
  • 1篇电子支付协议
  • 1篇形式化
  • 1篇形式化分析
  • 1篇支付协议
  • 1篇可追究性
  • 1篇公平
  • 1篇非单调
  • 1篇SSL协议
  • 1篇KAILAR...

机构

  • 2篇贵州大学
  • 2篇贵州省信息与...
  • 1篇贵州师范大学

作者

  • 2篇汪学明
  • 2篇谢晓尧
  • 2篇徐洋

传媒

  • 1篇计算机应用与...
  • 1篇微计算机信息

年份

  • 2篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于Rubin逻辑的SSL协议安全性分析被引量：1
2008年
SSL协议是一个应用于互联网上的安全协议,使用传统的BAN类逻辑分析该协议有很大困难。本文用Rubin逻辑对SSL协议中恢复一个已存在的会话模式进行了分析,证明了该模式下可以建立新的安全连接。我们还发现了协议中存在的一些问题。通过分析表明,利用Rubin逻辑分析非单调的安全协议是一种可行的方法。
徐洋谢晓尧汪学明
关键词：SSL协议非单调
一个新的电子支付协议及其形式化分析被引量：1
2008年
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证,新的协议满足可追究性和公平性原则。
徐洋汪学明谢晓尧
关键词：电子支付协议可追究性KAILAR逻辑
全选 清除 导出
共1页<1>
聚类工具0