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

摘要：

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

关键词：协议安全、形式描述技术、Petri网、形式化验证

所属期刊栏目：28

分类号：TP393.08(计算技术、计算机技术)

在线出版日期：2008-09-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：95-97,100