基于Petri网的对等资源访问控制协议仿真  

Simulation of P2P Resource Access Control Protocols in Petri-Net

作　　者：张常有[1,2] 张昱[3] 曹元大[2] 李桂红[1] 段淑凤[1] 

机构地区：[1]石家庄铁道大学信息科学技术学院,河北石家庄050043 [2]北京理工大学计算机科学技术学院北京市智能信息技术实验室,北京100081 [3]北京建筑工程学院,北京100044

出　　处：《北京理工大学学报》2010年第8期925-929,共5页Transactions of Beijing Institute of Technology

基　　金：国家自然科学基金资助项目(60863003);河北省自然科学基金资助项目(F2009000929);北京市自然科学基金资助项目(4082027)

摘　　要：为保证资源的合理访问与控制协议设计的正确性,针对对等网络,设计了基于信誉传递的资源访问控制协议框架,并建立了基于Petri网的协议仿真模型.根据Petri网的性质对协议模型进行分析,发现协议的运行特性.采用CPNTools工具,建立调试协议模型,仿真模拟协议的执行步骤,观测协议性能.实验结果表明,仿真跟踪协议的执行过程,发现并排除了协议设计中的错误,优化了协议设计,达到了预想的访问控制目的.To guarantee the rationality of the resource access and the correctness of the protocol design,an access control protocol is proposed and the designed protocol is modeled in Petri-net. Firstly,the protocol is analyzed by means of the properties of Petri-net to prove its correctness. Then,the protocol model is created,run and debugged using CPN Tools.The performance is simulated by means of observing the running steps of the protocol.The experiment results show that stepping into the protocol is very helpful to discover or eliminate the designing bug and to optimize the protocol design for meeting the given goal.

关 键 词：PETRI网 对等网络 访问控制 协议仿真 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]