基于面向对象Petri网的动态合同网协议通用模型

传统的合同网协议模型通过管理Agent和承包商Agent之间招投标进行交互和协商以共同完成目标任务。但传统合同网协议模型也存在一些如协作过程中通信量大、通用性不强等问题。为此，采用面向对象Petri网，引入对象Agent，对动态合同网协议进行建模,并采用Petri网的数学分析方法对模型进行了分析，表明模型具有通用性、并发性、活性的特点且通信量减少。     

基于心智系数的多Agent合同网协作模型研究

在多Agent系统中,常用的协商模型为合同网协议。在分析了经典合同协议优缺点后,提出基于熟人模型和心智系数合同协议的多Agent协作模型。在系统构建过程中引入心智状态中的信任度、熟悉度、他信度、繁忙度等概念,提出心智系数的更新规则并设计实现基于心智的合同网模型的构建。最后以机器人足球比赛为背景,对协商过程进行模拟测试与结果分析,证实了该模型能在保证协商质量的基础上有效地降低协商的时间和通信量,实现多Agent系统的高效协作。     

一种基于时间-效用的Agent社会承诺机制

在多Agent系统中，为了完成任务，Agent之间需要建立社会承诺。本文通过将T．Sandholm的分级承诺合同协议思想与时间-效用对协商的影响有机地结合起来，提出了一种基于时间-效用的Agent社会承诺机制，为电子商务环境下存在最大协商时间的一对多协商中的买卖双方Agent之间的社会承诺问题提供了有效的解决方案。文章分析了解除承诺的条件，提出了建立承诺、解除承诺和遵守承诺的规则，从而有效规避了协商中买方Agent与卖方Agent随意达成一致的行为，同时保证了买方Agent能够在最大协商时间内确定最佳交易卖方，从而提高了协商系统的效率和效用。     

协同设计环境下的任务分配方法的研究

介绍一种基于辅助Agent的合同网模型的任务分配方法,并给出了协作过程中的任务选择策略和Agent选择策略,改进基本合同网模型的缺点和不足,以解决多Agent的协同设计系统中分布合作求解问题和任务分配,达到全局最优化,产生高质量的设计及有效的资源利用,并减少协商时间和信息流量,提高系统效率。     

基于任务熟人集的合同网模型的改进

合同网模型广泛应用于基于多Agent系统的各种应用系统中，以解决分布合作求解和任务分配问题，在讨论基本合同网模型的缺点和不足的基础上，给出了一个任务熟人集的概念，随后提出一种改进的合同网模型和基于任务熟人集选择修选结点和协商策略方法的选择机制，该模型有效地降低通讯量，减少了协商时间和信息流量，提高了系统效率。     

一种基于Agent技术的安全能力自动协商机制

适应多安全域环境的安全能力自动协商机制包括了一种基于Agent的安全能力协商模型、适用于该模型的协商Agent和协商流程。该机制中，通过定义安全能力协商描述语言(SanDL)文档，用户可以方便准确地将协商要求和协商策略告知协商Agent，由协商Agent自动完成协商过程。在协商Agent中通过定义通信适配器和一套基本协商原语，使协商Agent的通信接口更加安全、灵活、易于扩展。     

合同网协议中的信用模型

针对经典的合同网协议CNP(Contractor Network Protocol),提出多Agent系统环境下自私Agent的信用模型。为追求利益最大化,自私Agent在自己能力不足的情况下仍有可能对宣布的任务进行投标。通过引入信用模型,任务管理者在发布标书和选择中标者时将充分考虑Agent投标及任务完成情况的历史记录,从而减少因随机选择Agent发标或仅考虑效用选择中标Agent而引发多次协商或任务无法完成的状况。实验结果表明,基于信用模型的Agent协商策略在保证任务完成质量的基础上,能显著提高系统性能,尤其是在任务数目较大的情况下。     

基于拍卖机制的改进合同网协商策略

在现有合同网协议的研究基础上，引入经济学中的拍卖理论，提出一种基于拍卖机制的改进合同网协商策略，通过Agent间的自主竞争来实现任务的动态分配，从而降低管理者获取和更新其他Agent知识的难度，间接支持Agent能力动态变化，减少Agent间通讯量和评标时间。     

基于多Agent的动态路径规划方法研究

简要地介绍了多Agent技术,并以城市交通诱导系统中的动态路径规划为研究对象,提出了一种基于范例推理合同网协商机制的多Agent动态路径规划方法。     

基于M-Agent单边与多边协商策略的虚拟企业协作机制研究

在分析了采用合同网/市场机制模式构建的虚拟企业协作体系的局限性基础上,基于MAS单边与多边协商策略模型,提出了一种在企业任务划分不明确状态下的虚拟企业协作机制和评价方法.详细论述了基于学习Agent单边协商策略的盟主企业与成员企业间的单边协商过程和选择机制,以及潜在企业联盟中,基于Agent多边协商策略的成员企业间的多边协商过程.最终选择最有利的联盟结构,以保证虚拟企业的全局利益最大化和盟主企业与成员企业间的满意收益.     

Analysis of contract net in multi-agent systems

Application of contract net protocol requires the development of a bid evaluation procedure specific to the problem. Care must be taken to apply contract net protocol to tasks that involve precedence constraints among different operations and heterogeneous resources. The lack of a process model in the original contract net protocol makes it difficult to determine the feasibility of the resulting contracts. We propose a model to facilitate the development of the bid evaluation procedure by extending our previous results to handle tasks with more complex process structure. We formulate an optimization problem to find a minimal cost feasible execution sequence for a task.     

合同网模型在工程设备招标中的应用研究

合同网是一类重要的基于竞争机制的问题求解模型，它一般地不对竞争者范围进行限制，因此不能保证高的工作效率。工程设备招标活动是合同网模型的一类重要应用，但实践中的工程设备招标活动通常采用邀标为主的工作方式，邀标可以减少问题竞争者范围，提高工作效率。该文讨论基于邀标的合同网模型在工程设备招标中的应用问题，包括工程设备招标活动的业务流程，邀标群体的管理，计算机辅助工程设备招标系统的功能组成等。     

基于环签名的电子拍卖方案

在拍卖过程中如何保护投标者隐私和身份以及防止中标者反悔是设计安全电子拍卖系统的关键技术.该方案满足投标者的无条件匿名性、健壮性、中标者的不可抵赖性和公开验证性等一般安全性要求外,对可信第三方的依赖小,安全性高.基于环签名技术,提出了一种电子拍卖方案.     

一类基于Bit承诺的安全电子拍卖模型

在拍卖过程中如何保护投标者隐私和防止中标者反悔是设计安全电子拍卖系统的关键技术.该文首先综述了安全电子拍卖的研究现状和一些典型的方案设计，然后利用Bit承诺协议给出了一类实现安全密封电子拍卖的通用模型并构造了相应的实例．所给模型具有如下特点：(1)安全性好，能够满足投标者匿名、投标价保密、不可否认性和强可验证性等密封电子拍卖的所有安全性要求；(2)技术简单，仅使用了一个基本的Bit承诺协议，这不仅给编程实现带来很大方便，而且用户也易于理解和接受；(3)对可信赖第三方的依赖小；(4)模型还具有通用性，通过适当选取不同的单向函数，可得到不同的方案实例．     

一个基于环签名的安全密封电子拍卖协议*

在拍卖过程中如何保护投标者隐私和身份以及防止中标者反悔是设计安全电子拍卖系统的关键技术。基于环签名思想的类群签名方案及同态公钥加密体制,设计了一个新的密封投标的电子拍卖协议。所给协议具有如下特点：安全性好,能够满足投标者匿名、投标价保密、不可否认性以及不可伪造等密封电子拍卖的所有安全性要求;对可信赖第三方的依赖小;安全性高、步骤简略。     

基于MAS的政府采购平台设计与分析

在研究政府采购和电子商务的基础上，建立了多Agent技术在G to B中的应用模型，阐述了相应的商务流程，讨论了多Agent之间的协作、通信和安全等问题，给出了评标和投标的策略以及安全认证方案。     

基于CCM的网络信息安全构件的设计与实现

信息安全,特别是网络环境中所传输信息的安全性,已经成为影响网络进一步发展的重要因素。信息安全构件是为了在分布式网络应用环境中,提供网络安全技术而提出的。本文首先介绍了CCM规范实现的CCM构件平台,遵循CORBA构件模型CCM1.0,在符合CORBA2.3规范的StarBus分布计算平台上开发了服务器端信息安全构件原型。同时,介绍了一种捕获网络数据包的方法。采用成熟的CCM构件技术和安全技术,提供一个分布式网络安全管理平台。     

基于区块链的电子医疗记录安全共享

针对电子医疗记录（EMR）共享面临的数据提供商集权化、患者数据管理显被动、互操作效率低、恶意传播等问题,提出一种基于区块链的电子医疗记录安全共享方法。首先,基于商用密码SM2数字签名算法提出一种更加安全高效的泛指定验证者签名证明（UDVSP）方案;然后,设计具有上传、验证、检索、撤销等功能的智能合约,构造基于区块链的电子医疗记录安全共享系统;最后,通过安全性分析和性能分析论证UDVSP方案和共享系统的可行性。安全性分析结果表明,所设计的UDVSP方案满足可证明安全性。性能评估结果表明,与现有常用的UDVSP/UDVS方案相比,节省至少87.42%的计算开销和93.75%的通信代价。区块链智能合约原型系统的仿真结果进一步论证了共享系统的安全性和高效性。     

智能合约安全漏洞研究综述

智能合约是一种基于区块链平台运行,为缔约的多方提供安全可信赖能力的去中心化应用程序。智能合约在去中心化应用场景中扮演着重要的角色,被广泛地应用于股权众筹、游戏、保险、物联网等多个领域,但同时也面临着严重的安全风险。相比于普通程序而言,智能合约的安全性不仅影响合约参与多方的公平性,还影响合约所管理的庞大数字资产的安全性。因此,对智能合约的安全性及相关安全漏洞开展研究显得尤为重要。本文系统分析了智能合约的特性及其带来的全新安全风险;提出了智能合约安全的三层威胁模型,即来自于高级语言、虚拟机、区块链三个层面的安全威胁;并以世界上最大的智能合约平台——以太坊为例,详细介绍了15类主要漏洞;并总结了智能合约安全研究在漏洞方面的进展和挑战,包括自动漏洞挖掘、自动漏洞利用和安全防御三个方面的研究内容;最后,本文对智能合约未来安全研究进行了展望,提出了两个潜在的发展方向。