论文部分内容阅读
本文介绍了安全协议的基本属性、缺陷与协议可能受到的攻击模式，对安全协议的形式化分析中使用的典型模型的描述能力及其对使用的限制进行了分析，研究了如何使用无歧义语言说明协议以及在不同的抽象层次上精确描述协议的安全要求。介绍了如何使用各种技术对协议进行验证与证明，以及在使用这些技术时应该注意的问题。最后简单介绍了协议设计中的形式化方法。