可追究性

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

检索结果分析

结果分析中...
选择条件：
  • 学科=电子电信—通信与信息系统x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
通信系统安全技术应用——一种新型非否认协议
《大庆石油学院学报》2005年第2期113-115,132,共4页陈雪松 张方舟 李勤 
针对电子商务安全协议的非否认性,在现有非否认服务的基础上,介绍了一种新型非否认协议. 该协议满足可追究性,并且是ε-公平的,协议中加入时间链作为时间标记,通过事件链和时间链的对应,在可追究时间链的前提下,实现非否认服务. 协议采...
关键词：非否认协议 时间标记 逐步交换 可追究性 交互性 
一种分析电子商务协议的新方法被引量：10
《计算机学报》2004年第4期507-515,共9页王彩芬 葛建华 
西北师范大学重点研究方向基金资助 .
通过将Kailar逻辑和LPC形式方法相结合 ,提出一种新的用于分析电子商务协议的形式化方法 .新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力 .该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议...
关键词：电子商务 协议 可追究性 公平性 形式化分析 KAILAR逻辑 
一种分析电子商务协议的新工具被引量：47
《软件学报》2001年第9期1318-1328,共11页周典萃 卿斯汉 周展飞 
国家自然科学基金资助项目 (6 0 0 830 0 7) ;国家重点基础研究发展规划 973资助项目 (G19990 35 810 )~~
提出了一种新的形式化分析方法 ,可用于分析电子商务协议 .与 Kailar逻辑相比 ,它有 3个优点 :(1)能够有效地分析协议的公平性 ,在进行公平性分析时充分考虑了通信信道的可靠性 ;(2 )初始化拥有集合只依赖于环境 ,不需要人为地引入初始...
关键词：可追究性 公平性 逻辑分析 网上交易 电子商务协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部