可追究性

作品数：27被引量：131H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：卿斯汉周典萃周展飞王彩芬刘文琦更多>>
相关机构：中国科学院软件研究所贵州大学西南交通大学西安电子科技大学更多>>
相关期刊：《电子科技大学学报》《计算机工程与应用》《通信学报》《计算机应用与软件》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
认证邮件协议的安全性分析与改进被引量：2
《电子科技大学学报》2013年第2期300-305,共6页高悦翔 彭代渊 闫丽丽 
四川省教育厅重点项目基金(10ZA009)
认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如...
关键词：认证邮件协议 组合协议分析 KAILAR逻辑 可追究性 
一个多方认证邮件协议的分析与改进被引量：1
《计算机科学》2012年第11期58-61,97,共5页高悦翔 彭代渊 
多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个典型的多方认证邮件协议存在不满足公平性、可追究性以及个别不诚实参与方行为导致整个协议执行失败等安...
关键词：多方认证邮件协议 可追究性 公平性 签密 KAILAR逻辑 
构建政府投资项目建设管理保廉体系浅议
《广东行政学院学报》2011年第1期21-23,共3页林海滨 
规范政府投资过程中公共权力的运行,构筑政府投资项目的保廉体系,首先要重塑政府投资公共权力,保证公共权力运行的规范性;其次要在加强政府投资体制内监管的同时,强化政府投资社会监管;再次要落实责任制,保证制度执行到位。
关键词：政府投资项目 公共权力运行 规范性 可监督性 可追究性 
改进的电子商务协议逻辑分析方法被引量：1
《计算机工程》2010年第13期291-292,F0003,共3页席琳 周清雷 
国家"863"计划基金资助项目(2007AA010408)
在卿-周逻辑(软件学报,2001年第9期)的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子性。该方法通过引入消息新鲜性机制,使被重放的消息可以被识别,重新定义可追究性的实现条件,使得在发生...
关键词：电子商务协议 可追究性 公平性 原子性 
形式化验证可信第三方角色的性质
《计算机应用》2010年第12期112-115,共4页冯源 
随着电子商务的发展,电子商务协议中受信任的第三方担负着越来越重要的角色。针对电子协议的安全性,用形式化的方法(如CCS)对几种带有可信任第三方平台的电子商务协议进行描述,并用模型检测的方法对安全协议的几种性质进行了阐述和验证。
关键词：可信任第三方 CCS 公平性 可追究性 
通信限制场景下的安全移动支付协议研究被引量：2
《计算机工程与设计》2010年第9期1950-1953,共4页崔楠 汪学明 
贵州省自然科学基金项目(20052110);贵州大学引进人才科研基金项目(2008005)
大部分现有的移动支付方法都是在完全连接场景下进行的,随着移动电子商务的多样化,现有的移动支付方法已经不能满足移动通信限制场景的要求。为了解决移动通信限制场景下移动支付的安全性问题,在研究3-Dsecure协议的基础上,在商家中心场...
关键词：移动支付 通信限制场景 消息恢复签名 可追究性 匿名性 
完美并发签名的可追究性研究
《计算机工程》2009年第17期157-159,共3页李云峰 何大可 路献辉 
华为科技基金资助项目(YJCB2007048IN)
指出在改进的完美并发签名方案中,签名方可将多个待签名消息绑定在同一个Keystone上,只让其他签名方知道其中一个消息,该情况对于各签名方是不公平的。提出并定义完美并发签名的可追踪性,给出一个针对完美并发签名方案可追踪性的攻击实...
关键词：公平交换 并发签名 完美并发签名 可追踪性 
基于分层时间有色Petri网的支付协议公平性分析被引量：7
《电子与信息学报》2009年第6期1445-1450,共6页刘文琦 顾宏 
国家973规划项目(2002CB312201)资助课题
电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠...
关键词：有色Petri网(CPN) 支付协议 公平性 可追究性 
电子支付协议可追究性的Petri网建模与分析被引量：4
《系统仿真学报》2008年第20期5600-5604,5609,共6页刘文琦 顾宏 
可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法。Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型...
关键词：PETRI NETS CPN 可追究性 电子支付协议 电子商务 
一个新的电子支付协议及其形式化分析被引量：1
《计算机应用与软件》2008年第9期93-94,124,共3页徐洋 汪学明 谢晓尧 
贵州省科学技术基金项目(20082125)
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证...
关键词：电子支付协议 可追究性 公平性 KAILAR逻辑 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部