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

Verification of network security based on Petri net and logic circuits

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

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.