| 基于Petri网和逻辑电路的网络安全验证 |
| |
| 引用本文： | 白雪,吴长江,杨旻,赵不贿. 基于Petri网和逻辑电路的网络安全验证[J]. 计算机应用研究, 2010, 27(5): 1908-1910. DOI: 10.3969/j.issn.1001-3695.2010.05.087 |
| |
| 作者姓名： | 白雪 吴长江 杨旻 赵不贿 |
| |
| 作者单位： | 江苏大学,电气信息工程学院,江苏,镇江,212013 |
| |
| 摘 要： | 利用Petri网的库所和变迁来描述网络的状态和行为，用逻辑代数的0和1形象表示库所的状态，将复杂的PN模型转换成简单的逻辑表达式，提出了Petri网与逻辑电路相结合的新型网络数据流验证方式。这种方法具有的形式化步骤与数学模型相支持，是一种新型快捷的网络安全验证方法。
|
| 关 键 词： | 安全验证； Petri网； 逻辑电路 |
Verification of network security based on Petri net and logic circuits |
| |
| BAI Xue,WU Chang-jiang,YANG Min,ZHAO Bu-hui. Verification of network security based on Petri net and logic circuits[J]. Application Research of Computers, 2010, 27(5): 1908-1910. DOI: 10.3969/j.issn.1001-3695.2010.05.087 |
| |
| Authors: | BAI Xue WU Chang-jiang YANG Min ZHAO Bu-hui |
| |
| Affiliation: | School of Electrical & Information Engineering/a>;Jiangsu University/a>;Zhenjiang Jiangsu 212013/a>;China |
| |
| Abstract: | Used places and changes of the Petri net to describe the state and behavior of the net, while expressed the state of the place by 0 and 1 in the logic algebra ,thus converted the complicated Petri net models to simple logic expressions. So advanced a new method combing the Petri net and the logic circuit, in which supported the formalized step and the mathematical model mutually. It is an effective and rapid method to verify the network security. |
| |
| Keywords: | security verification Petri net logic circuit |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
