A(0)相关论文
非形式化方法很难保证认证协议的安全性，因此对于形式化方法的研究与应用具有重要的意义，模型检测技术就是其中的一种。该文介绍了使......
模型检测技术能够实现安全协议的自动化分析，是一种高效的形式化分析方法。然而，对于攻击者的建模却一直缺乏通用的方法，这导致了模型......
