基于Petri网和逻辑电路的网络安全验证

• 作者: 吴长江 杨旻 白雪 赵不贿
• 来源期刊: 计算机应用研究
• 关键词: 安全验证 Petri网 逻辑电路
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1908-1910
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.05.087

摘要

利用Petri网的库所和变迁来描述网络的状态和行为,用逻辑代数的0和1形象表示库所的状态,将复杂的PN模型转换成简单的逻辑表达式,提出了Petri网与逻辑电路相结合的新型网络数据流验证方式.这种方法具有的形式化步骤与数学模型相支持,是一种新型快捷的网络安全验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨旻	江苏大学电气信息工程学院	2	9	2.0	2.0
2	赵不贿	江苏大学电气信息工程学院	107	607	12.0	20.0
3	白雪	江苏大学电气信息工程学院	32	203	7.0	13.0
4	吴长江	江苏大学电气信息工程学院	3	23	3.0	3.0