可追究性

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
改进的电子商务协议逻辑分析方法被引量：1
《计算机工程》2010年第13期291-292,F0003,共3页席琳 周清雷 
国家"863"计划基金资助项目(2007AA010408)
在卿-周逻辑(软件学报,2001年第9期)的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子性。该方法通过引入消息新鲜性机制,使被重放的消息可以被识别,重新定义可追究性的实现条件,使得在发生...
关键词：电子商务协议 可追究性 公平性 原子性 
完美并发签名的可追究性研究
《计算机工程》2009年第17期157-159,共3页李云峰 何大可 路献辉 
华为科技基金资助项目(YJCB2007048IN)
指出在改进的完美并发签名方案中,签名方可将多个待签名消息绑定在同一个Keystone上,只让其他签名方知道其中一个消息,该情况对于各签名方是不公平的。提出并定义完美并发签名的可追踪性,给出一个针对完美并发签名方案可追踪性的攻击实...
关键词：公平交换 并发签名 完美并发签名 可追踪性 
一种分析安全协议的新逻辑被引量：2
《计算机工程》2007年第23期163-166,共4页刘英杰 姚正安 
提出了一种分析安全协议的新逻辑,既能有效地分析认证协议的认证性,又能分析电子商务协议的可追究性和公平性。该方法对认证协议的分析,不需要协议理想化,避免了因理想化而导致的各类问题。能够有效地分析电子商务协议的可追究性和公平...
关键词：安全协议 逻辑 可追究性 公平性 自动验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部