基于知识的协议验证方法

您当前的位置：

首页 >

文章列表页 >

基于知识的协议验证方法

更新时间：2024-10-14

- 基于知识的协议验证方法
- Issue 5, Pages: 45-50(1993)
- 作者机构：
  
  1.   辽宁大学计算机系
  2.   东北大学计算机系
  3.   东北大学计算机系教授沈阳 110036
  4.   沈阳 110006
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：1993
- 稿件说明：
移动端阅览
[1]张伟,刘积仁,李华天.基于知识的协议验证方法[J].通信学报,1993(05):45-50.

[J]. 1993, (5): 45-50.
[1]张伟,刘积仁,李华天.基于知识的协议验证方法[J].通信学报,1993(05):45-50. DOI：

[J]. 1993, (5): 45-50. DOI：

摘要

协议验证是一个时空耗费很高的问题。本文将人工智能技术引入协议验证

建立了验证的图搜索模型

定义了协议错误、协议正确程度、验证算法的复杂度等概念。本文还提出了一个基于知识的协议验证算法Z

并分析了其复杂度。

Abstract

关键词

Keywords

references

Views

602

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

IPv4/IPv6双栈四分搜索路由查找算法与实现

域间路由协同管理框架

网络文本内容取证系统中的数据缩减性能分析

基于稳定性的FAST TCP参数γ调整

离散最小误差熵估计的原理及应用

Related Author

邬江兴

张彦肖

王振兴

王海龙

邹鹏

朱培栋

胡宁

张翠

Related Institution

信息工程大学信息工程学院国家数字交换系统工程技术研究中心河南郑州450002

信息工程大学信息工程学院国家数字交换系统工程技术研究中心

国防科学技术大学计算机学院

北京图形研究所

北京系统工程研究所

AI问答

⁰

基于知识的协议验证方法

DOI：

摘要

Abstract

关键词

Keywords

references