您的位置： 专家智库 > >

安徽省高校省级自然科学研究项目(kj2007b158)

作品数：2 被引量：1H指数：1
相关作者：金秀杨宝华更多>>
相关机构：安徽农业大学更多>>
发文基金：安徽省高校省级自然科学研究项目更多>>
相关领域：自动化与计算机技术建筑科学更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇建筑科学

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇网络
  • 1篇协议漏洞
  • 1篇漏洞
  • 1篇逻辑验证

机构

  • 2篇安徽农业大学

作者

  • 2篇金秀
  • 1篇杨宝华

传媒

  • 1篇现代计算机
  • 1篇安徽建筑工业...

年份

  • 2篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于事件类型的网络协议建模
2009年
提出了基于事件类型的网络协议建模方法,并在模型的基础上对协议进行检测实验。协议的模型检查实验中最重要的是状态模型的描述,其决定了检测结果的精确性和有效性。事件类型的状态描述方法是通过外部事件和内部事件建立一个完整有效的状态层次模型,模型检查算法对建立的状态模型进行检测,最终得到性质检测结果。本文通过对WEP协议和四次握手协议进行事件类型的建模分析证明了状态层次方法有利于网络协议的建模与检测。
金秀杨宝华
关键词：逻辑验证协议漏洞
基于状态模型的四次握手协议验证被引量：1
2009年
利用外部和内部事件状态模型方法抽象出四次握手协议的逻辑过程,并建立协议中重要性质的形式化模型(例如:消息发送顺序、分配密钥等)。Spin工具的特性是对状态模型和性质进行模型检测,通过对模型进一步检测和验证结果的分析,得出四次握手协议在密钥GTK分配上具有一定缺陷,并会导致GTK传送失败。
金秀
关键词：形式化验证
全选 清除 导出
共1页<1>
聚类工具0