动态合同网安全模型的研究

Research on security dynamic contract net model

以往的多Agent间的通信都是建立在理论安全的网络传输的基础上,但网络中信息的传递必须考虑安全问题。为此,引入数字签名技术,运用加解密算法对合同网协议中的信息进行处理,构造了一个具有安全性的动态合同网模型。运用有色Petri网建模,CPN Tools分析,实验结果表明,该模型具有可达性、活性、公平性的特点。

The traditional multi-agent communication built on the theory security net, but the information transmission through network must consider security issues. Therefore, digital signature and encryption algorithm are used to process the messages in contract net modeled by color Petri net, the analysis of CPN tools show that the new model is live fair and home properties.