Security Protocol Model Checking Based on Classcial Logic
基于经典逻辑的安全协议模型检测方法

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.