安全开放系统的Petri网模型

摘要：

本文对安全开放系统的Petri网模型进行了研究。文章分析了交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,给出了对应的CPN模型。

关键词： 计算机网络 开放系统 网络安全

作者: 文静华 李祥

作者单位: 贵州财经学院信息学院,贵州,贵阳,550004 贵州大学计算机软件与理论研究所,贵州,贵阳,550025

会议类型: 国内会议

会议名称: 2005年全国开放式分布与并行计算会议

会议地点: 上海

会议语种:中文

页码: 1-2

在线出版日期: 2005-10-27（万方平台首次上网日期，不代表论文的发表时间）