%0 Journal Article
%T Verification of network security based on Petri net and logic circuits<br>基于Petri网和逻辑电路的网络安全验证
%A BAI Xue
%A WU Chang-jiang
%A YANG Min
%A ZHAO Bu-hui
%A <br>白雪
%A 吴长江
%A 杨旻
%A 赵不贿
%J 计算机应用研究
%D 2010
%I 
%X 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.
%K security verification
%K Petri net
%K logic circuit<br>安全验证
%K Petri网
%K 逻辑电路
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=156C45847C080D05B6AEA32D2D1379B5&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=94C357A881DFC066&sid=3243429ECEACC611&eid=B37991020B552F70&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=11