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

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