电子支付协议

作品数：42被引量：71H指数：5
导出分析报告
相关领域：自动化与计算机技术经济管理更多>>
相关作者：王育民姬东耀汪学明白英彩张焕国更多>>
相关机构：西安电子科技大学上海交通大学贵州大学中央财经大学更多>>
相关期刊：《计算机工程与设计》《军事经济研究》《光学学报》《微电子学与计算机》更多>>
相关基金：国家自然科学基金国家教育部博士点基金湖南省教育厅科研基金湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于动态博弈的电子支付系统模型及自利性被引量：1
《计算机应用研究》2008年第8期2463-2468,2517,共7页史伟奇 程杰仁 刘运 张波云 
国家自然科学基金资助项目(60603062);国家公安部应用创新基金资助项目(2005YYCXHNST095);湖南省教育厅资助科研项目(07C718);湖南省自然科学基金资助项目(06JJ3035)
使用通信顺序进程CSP和博弈理论提出了基于动态博弈的电子支付系统模型,提出了一种电子支付协议的新属性自利性;基于纳什均衡理论给出了自利性的形式化定义,可以用于对电子支付系统安全属性的形式化分析。与以前的工作相比,其主要贡献为...
关键词：公平性 自利性 电子支付协议 动态博弈 系统模型 纳什均衡 
基于类pi演算的电子支付协议安全性形式化研究被引量：2
《计算机应用研究》2006年第3期22-24,共3页顾永跟 李国强 王国钧 
国家自然科学基金资助项目(60473006)
设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。
关键词：类pi演算 电子支付协议 认证性 匿名性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部