徐洋

作品数：2被引量：1H指数：1
导出分析报告
供职机构：贵州大学计算机科学与技术学院更多>>
发文主题：KAILAR逻辑SSL协议非单调形式化分析公平更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《计算机应用与软件》更多>>
所获基金：贵州省科学技术基金贵州省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Rubin逻辑的SSL协议安全性分析
《微计算机信息》2008年第30期71-73,共3页徐洋 谢晓尧 汪学明 
贵州省自然科学基金资助项目;贵州省科技厅(IPv6互连网络的TCP/IP安全性研究20052105);贵州省高新技术产业发展专项资金资助项目;贵州省发改委(贵州省高速公路桥梁安全监测健康系统的实现及应用2005643;CNGI驻地网研究与建设2006815)
SSL协议是一个应用于互联网上的安全协议,使用传统的BAN类逻辑分析该协议有很大困难。本文用Rubin逻辑对SSL协议中恢复一个已存在的会话模式进行了分析,证明了该模式下可以建立新的安全连接。我们还发现了协议中存在的一些问题。通过分...
关键词：SSL协议 Rubin逻辑 非单调 
一个新的电子支付协议及其形式化分析被引量：1
《计算机应用与软件》2008年第9期93-94,124,共3页徐洋 汪学明 谢晓尧 
贵州省科学技术基金项目(20082125)
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证...
关键词：电子支付协议 可追究性 公平性 KAILAR逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部