可追究性

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机系统结构x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
认证邮件协议的安全性分析与改进被引量：2
《电子科技大学学报》2013年第2期300-305,共6页高悦翔 彭代渊 闫丽丽 
四川省教育厅重点项目基金(10ZA009)
认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如...
关键词：认证邮件协议 组合协议分析 KAILAR逻辑 可追究性 
改进的电子商务协议逻辑分析方法被引量：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 可追究性 电子支付协议 电子商务 
SET协议的可追究性分析与改进被引量：1
《后勤工程学院学报》2008年第1期58-61,共4页赵娟 郭平 王玉柱 
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据，有必要深入分析SET协议的可追究性。Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具。先对SET协议进行了形式化的表述，然后利用一种改进的Kailar逻...
关键词：SET协议 KAILAR逻辑 可追究性 
一种分析安全协议的新逻辑被引量：2
《计算机工程》2007年第23期163-166,共4页刘英杰 姚正安 
提出了一种分析安全协议的新逻辑,既能有效地分析认证协议的认证性,又能分析电子商务协议的可追究性和公平性。该方法对认证协议的分析,不需要协议理想化,避免了因理想化而导致的各类问题。能够有效地分析电子商务协议的可追究性和公平...
关键词：安全协议 逻辑 可追究性 公平性 自动验证 
一种基于RBAC的电子商务匿名性与可追究性实现方案被引量：3
《计算机科学》2007年第7期86-89,共4页马勇 卿斯汉 贺也平 
北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(973)(批准号:G1999035802)
提出了一种基于RBAC思想对可信第三方功能进行分类并结合其他一些技术实现电子商务中匿名性与可追究性的解决方案,主要涉及三个主要过程:用户的注册控制、交易过程的控制及投诉处理过程。通过对注册用户的信息进行加密并对加密密钥进行...
关键词：RBAC 电子商务 匿名性 可追究行 安全协议 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部