首页> 中文期刊> 《计算机应用与软件》 >安全开放系统的Petri网模型

安全开放系统的Petri网模型

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析.分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型.

著录项

来源
《计算机应用与软件》 |2005年第10期|1-2|共2页
作者
文静华; 李祥;
展开▼
作者单位

贵州财经学院信息学院;

贵州;

贵阳;

550004;

贵州大学计算机软件与理论研究所;

贵州;

贵阳;

550025;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
有色Petri网; 有限自动机; 安全系统;

相似文献

中文文献
外文文献
专利

1. 基于有色Petri网的网络安全态势感知模型构建及分析 [J] . 惠馨雅 ,刘建华 ,刘浩 . 计算机与数字工程 . 2019,第002期
2. 基于Petri网的CPS系统安全量化分析模型 [J] . 徐昕 ,虞慧群 ,黄骏虎 . 计算机工程与应用 . 2014,第003期
3. 列车区间运行安全的Petri网模型研究 [J] . 李智基 ,代振环 ,张春民 . 铁道运营技术 . 2012,第002期
4. 基于Petri网的非演绎安全模型的分析与验证 [J] . 王精明 ,江怡顺 . 滁州学院学报 . 2012,第002期
5. 基于扩展Petri网的安全关键软件需求模型检验 [J] . 李震 ,刘斌 ,殷永峰 . 沈阳工业大学学报 . 2011,第001期
6. 安全开放系统的Petri网模型 [C] . 文静华 ,李祥 . 2005年全国开放式分布与并行计算会议 . 2005
7. 基于Petri网的RBAC模型安全性分析与冲突处理 [A] . 刘猛 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号