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

张常有; 张昱; 曹元大; 李桂红; 段淑凤

首页> 中文期刊> 《北京理工大学学报》 >基于Petri网的对等资源访问控制协议仿真

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为保证资源的合理访问与控制协议设计的正确性,针对对等网络,设计了基于信誉传递的资源访问控制协议框架,并建立了基于Petri网的协议仿真模型.根据Petri网的性质对协议模型进行分析,发现协议的运行特性.采用CPNTools工具,建立调试协议模型,仿真模拟协议的执行步骤,观测协议性能.实验结果表明,仿真跟踪协议的执行过程,发现并排除了协议设计中的错误,优化了协议设计,达到了预想的访问控制目的.

著录项

来源
《北京理工大学学报》 |2010年第8期|925-929|共5页
作者
张常有; 张昱; 曹元大; 李桂红; 段淑凤;
展开▼
作者单位

石家庄铁道大学信息科学技术学院;

河北石家庄050043;

北京理工大学计算机科学技术学院北京市智能信息技术实验室;

北京100081;

北京建筑工程学院;

北京100044;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.04;
关键词
Petri网; 对等网络; 访问控制; 协议仿真;

相似文献

中文文献
外文文献
专利

1. 基于着色解释Petri网的网络协议建模及协同仿真方法 [J] . 彭磊 ,吴磊 ,毕亚雷 . 计算机集成制造系统 . 2009,第001期
2. 基于有色Petri网的安全协议安全性仿真 [J] . 郑君杰 ,肖军模 ,杨明 . 系统仿真学报 . 2006,第11期
3. 基于着色Petri网仿真模型的安全协议分析 [J] . 龙士工 ,李祥 . 计算机仿真 . 2005,第006期
4. 基于Petri网的建设工程项目实施阶段资源建模与仿真 [J] . 李海凌 ,史本山 ,刘克剑 . 计算机应用研究 . 2011,第012期
5. 带回流复杂制造系统基于资源的Petri网仿真原型 [J] . 邵志芳 ,刘仲英 ,陆云波 . 系统仿真学报 . 2007,第22期
6. 基于Petri网的对等资源访问控制协议模型与仿真 [C] . ZHANG Chang-you ,张常有 ,CAO Yuan-da . 中国人工智能学会第十三届学术年会 . 2009
7. 基于网络协议的Petri网研究——利用着色Petri网分析验证安全协议 [A] . 顾明甲 . 2009

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

摘要

著录项

相似文献

相关主题

期刊订阅