形式描述技术在通信协议安全分析中的应用

摘要

讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法，对所建模型进行形式化验证和脆弱性分析，根据验证和分析结果提出防护措施，设计安全方案。给出Petri网建模实例，提出形式描述技术在通信协议安全分析中的一些其他应用。