安全协议分析的界--综合模型检查与

• Strand Spaces Some Bounds on Security Protocol Analysis--Combining Model Checking and Strand Spaces