河北省重大技术创新项目(09213562Z)

作品数：3被引量：2H指数：1
导出分析报告
相关作者：司亚利刘文远卢贝马生王宝文更多>>
相关机构：燕山大学更多>>
相关期刊：《小型微型计算机系统》更多>>
相关主题：电子商务协议电子商务CPN颜色PETRI网TOOLS更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种颜色Petri网的电子商务协议分析方法被引量：1
《小型微型计算机系统》2013年第11期2594-2598,共5页王宝文 卢贝 司亚利 刘文远 
河北省重大技术创新项目(09213562Z)资助;河北省自然科学基金青年科学(G2011203195)资助
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,...
关键词：形式化分析方法 电子商务协议 颜色PETRI网 CPN TOOLS KZG协议 
具有可传递性的聚合-再分离线可分电子现金方案
《小型微型计算机系统》2013年第8期1964-1968,共5页王常武 李颖 司亚利 刘文远 
河北省重大技术创新项目(09213562Z)资助;河北省自然科学基金青年科学基金(G2011203195)资助
基于二叉树模型提出一种聚合-再分花费原则并构建一个新的具有可传递性的离线可分电子现金方案.方案中聚合-再分花费原则能够使二叉树上的每个节点都可以被花费,减少了银行在取款过程中的签名次数和存款过程中的运算量,同时能实现用户...
关键词：可分电子现金 二叉树 可传递性 聚合-再分 
有穷机和逻辑结合的电子商务协议分析方法被引量：1
《小型微型计算机系统》2013年第3期492-497,共6页刘文远 马生 司亚利 侯贵宾 
河北省重大技术创新项目(09213562Z)资助;河北省自然科学基金青年科学(G2011203195)资助
提出一种扩展的有穷自动机模型,并结合卿-周逻辑给出一种新的电子商务协议形式化分析方法,用于分析电子商务协议的可追究性、公平性和时限性.该方法结合了模型检测和逻辑分析两种形式化分析方法的优点,可以准确形象地描述协议的具体运...
关键词：电子商务协议 形式化分析 有穷自动机 逻辑分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部