%0 Journal Article
%T Security Protocol Model Checking Based on Classcial Logic<br>基于经典逻辑的安全协议模型检测方法
%A XU Chang LIU Ji-feng SUN Ji-gui
%A <br>徐畅
%A 刘吉锋
%A 孙吉贵
%J 计算机科学
%D 2008
%I 
%X The security protocol model-checking based on classcial logic is introduced in this paper,using the model-checker SATMC and the model-checker ProVerif as examples, and a security protocol model-checker JLU-PV exploited by us based on SAT is also introduced here.
%K Security protocol
%K Model-checking
%K Propositional satisfiability
%K Resolution<br>安全协议
%K 模型检测
%K SAT求解
%K 归结
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1190F2003E05D695C941792849A4705C&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=B31275AF3241DB2D&sid=A04140E723CB732E&eid=B91E8C6D6FE990DB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=29