您的位置： 专家智库 > >

朱革

作品数：1 被引量：3H指数：1
供职机构：同济大学电子与信息工程学院计算机科学与技术系更多>>
发文基金：上海市卫生系统百名跨世纪优秀学科带头人培养计划高效能服务器和存储技术国家重点实验室开放基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇时态逻辑
  • 1篇数据包
  • 1篇数据包转发
  • 1篇自动机
  • 1篇换机
  • 1篇交换机
  • 1篇包转发
  • 1篇OPEN

机构

  • 1篇同济大学

作者

  • 1篇丁春玲
  • 1篇曾国荪
  • 1篇朱革
  • 1篇王伟

传媒

  • 1篇计算机科学

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于模型检测的OpenFlow多交换机数据包转发协议的分析与验证被引量：3
2016年
OpenFlow协议是SDN网络中控制平面与数据转发平面之间进行交互的规范与标准,其正确性将直接影响到整个网络功能的实现。通过模型检测技术实现一种验证OpenFlow协议正确性的形式化方法。首先提取OpenFlow协议的核心子协议,即OpenFlow多交换机数据包转发协议作为验证的实例;然后运用协议行为自动机对该子协议进行形式化建模,并且通过时态逻辑描述协议需要进行验证的性质;最后给出算法验证协议模型是否满足给定的性质要求,以此检测OpenFlow协议是否存在正确性漏洞,以便对其进行修正。
朱革曾国荪丁春玲王伟
关键词：时态逻辑
全选 清除 导出
共1页<1>
聚类工具0