欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为保证资源的合理访问与控制协议设计的正确性,针对对等网络,设计了基于信誉传递的资源访问控制协议框架,并建立了基于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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：