协议行为自动机相关硕士博士期刊学术论文 - 信丰网

协议行为自动机相关论文

基于模型检测的OpenFlow多交换机数据包转发协议的分析与验证

OpenFlow协议是SDN网络中控制平面与数据转发平面之间进行交互的规范与标准,其正确性将直接影响到整个网络功能的实现。通过模型检......

期刊

OpenFlow协议模型检测协议行为自动机时态逻辑 Open.Flow protocol Model checking Protocol action

看过本文同时还关注