【摘 要】
:
使用通信顺序进程CSP和博弈理论提出了基于动态博弈的电子支付系统模型,提出了一种电子支付协议的新属性自利性;基于纳什均衡理论给出了自利性的形式化定义,可以用于对电子支付系统安全属性的形式化分析。与以前的工作相比,其主要贡献为:基于CSP事件对参与者的交叠并发和同步行为建模,基于博弈策略理论对协议主体的多种不诚实行为和三种质量的通信媒介建模,可以用于分析协议主体与通信媒介之间的合作和竞争行为;对进程
【机 构】
:
湖南公安高等专科学校计算机系,湘南学院数学系,国防科技大学计算机学院
【基金项目】
:
国家自然科学基金资助项目(60603062),国家公安部应用创新基金资助项目(2005YYCXHNST095),湖南省教育厅资助科研项目(07C718),湖南省自然科学基金资助项目(06JJ3035)
论文部分内容阅读
使用通信顺序进程CSP和博弈理论提出了基于动态博弈的电子支付系统模型,提出了一种电子支付协议的新属性自利性;基于纳什均衡理论给出了自利性的形式化定义,可以用于对电子支付系统安全属性的形式化分析。与以前的工作相比,其主要贡献为:基于CSP事件对参与者的交叠并发和同步行为建模,基于博弈策略理论对协议主体的多种不诚实行为和三种质量的通信媒介建模,可以用于分析协议主体与通信媒介之间的合作和竞争行为;对进程失效和通信失效建模,其中通信失效模型考虑了消息延迟导致的失效,因此可以分析更多失效情况下协议的性质;自利
其他文献
提出了一种基于区域生长和蚁群聚类的图像分割方法——BRGAC。该方法首先用区域生长法对图像作初始分割,然后利用蚁群算法搜索最优解的能力,在区域之间进行聚类合并,获得最终的分割结果。BRGAC算法不但克服了区域生长得不到有意义区域的不足,而且还大大提高了蚁群聚类算法的搜索时间,并利用初始分割后的空间信息和灰度信息定义了一种新的引导函数,可更准确有效引导蚁群聚类。实验结果表明,该方法可以准确地分割出目
针对嵌入式系统在网络通信中的应用需求,设计并实现了一种基于ARM9微处理器S3C2410A的嵌入式网络通信系统,给出了系统的电路设计方法。重点介绍了系统在ARM-Linux嵌入式操作系统环境下,实现socket通信的Qt/Embedded应用程序的设计方法,并给出了部分源代码。采用此方案设计的嵌入式网络通信系统成本低、功耗小、实时性好。实验结果表明此系统工作稳定、性能高。
根据ERP的领域需求及特点,开发出一种改进的基于活动网络图的工作流模型,并引入了事件管理器和事件订阅器(event subscriber)。经过改进的工作流管理系统能够很好地满足ERP系统的业务要求,可以有效增加系统的柔性,简化系统建模的难度。
提出了一种基于起点预测的不连续十字形块搜索算法。该算法首先利用图像帧的时间相关性和空间相关性预测出一个点作为不连续十字形搜索模板的初始中心点,再根据运动矢量概率分布的中心十字偏置特性,采用不连续十字形搜索模型,对运动矢量进行估计,得出最佳运动估计结果。在保证图像质量的前提下,该搜索算法与完全搜索算法(FS)、三步搜索算法(TSS)和钻石搜索算法(DS)相比,搜索速度显著提高。
运用动力学原理,基于进化博弈理论,对信任计算的动力学方程进行了求解分析,并运用复制动态原理分析了节点之间信任关系的演化趋势,进一步揭示了信任计算的演化动力学规律。仿真实验表明,进化是网络节点信任合作的动力源泉。
利用一种Beamlet变换算法来提取遥感图像中的线性特征,通过对遥感图像按二进、递归进行划分,利用灰度信息,积分计算每一小块图像中的Beamlets,结合梯度信息,通过广义似然比检验GLRT(generalized likeli-hood ratio testing)来检测判断符合条件假设的Beamlets,重建线性目标。此算法可以克服图像中的干扰及噪声,适应复杂、低信噪比遥感图像环境,准确地定位
在现有移动通信终端和服务器安全认证方案的基础上,结合椭圆曲线密码算法提出一种新的基于身份的端到端认证协议。该协议既提供了安全双向认证和密钥协商功能,又极大地适应了移动终端的计算能力,降低了安全系统的复杂性,为端到端加密在移动通信系统中的大规模应用提供了基础。
在群体研讨过程中会产生大量的研讨信息,群体共识则蕴藏在这些研讨信息之中,因此有必要对研讨信息进行分析处理。为此,提出一种面向群体共识涌现的研讨信息组织模型(DISM)。该模型根据Toulmin逻辑对专家发言进行结构化处理,将专家发言分解为根据、论证、模态限定和主张等几个部分。其中,模态限定是一个可量化的部件,反映了专家对主张的态度;根据和论证则为主张提供支持。该模型是对研讨信息的全面描述,可以有效
在分析现有的信任管理技术和自动信任协商技术的基础上,分别提出了一种支持信任管理的协商策略和一种最优化的信任协商策略,在此基础上设计了一种自适应信任协商协议。该协议可以实现多协议协商,同时融合了信任管理和自动信任协商系统的优点,能够实现安全域内和跨安全域的信任协商功能,具有良好的可扩展性、灵活性和隐私保护。
在分析现有信任管理的基础上,结合科学数据网格项目需求,提出了一种基于XML的信任管理框架X-TM。该框架包含了一种基于XML的统一信任证和策略语言,以及完成验证TrustTicket与一致性验证器的信任管理执行器,其主要创新点为可扩展的策略语言和支持TrustTicket与策略缓存的信任管理执行器,具有灵活性和良好的可扩展性等特点。