您的位置： 专家智库 > >

姚姜源

作品数：16 被引量：14H指数：2
供职机构：清华大学更多>>
发文基金：矿山灾害预防控制教育部重点实验室开放基金山东省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术矿业工程电子电信更多>>

合作作者

文献类型

  • 10篇专利
  • 3篇期刊文章
  • 2篇学位论文
  • 1篇会议论文

领域

  • 5篇自动化与计算...
  • 1篇矿业工程
  • 1篇电子电信

主题

  • 12篇网络
  • 8篇有限状态机
  • 8篇状态机
  • 7篇扩展有限状态...
  • 5篇状态机模型
  • 4篇网络设备
  • 3篇有限状态机模...
  • 2篇信息表
  • 2篇入口点
  • 2篇数据路径
  • 2篇通信
  • 2篇通信协议
  • 2篇自顶向下
  • 2篇组件
  • 2篇组件模型
  • 2篇网络通信
  • 2篇网络通信协议
  • 2篇违反
  • 2篇协议状态机
  • 2篇路由

机构

  • 14篇清华大学
  • 2篇北京交通大学
  • 1篇山东科技大学

作者

  • 16篇姚姜源
  • 11篇王之梁
  • 11篇尹霞
  • 9篇施新刚
  • 4篇李崇荣
  • 2篇华婷
  • 2篇胡光武
  • 1篇张泽
  • 1篇赵同彬
  • 1篇徐恪
  • 1篇谭云亮

传媒

  • 1篇小型微型计算...
  • 1篇中国教育网络
  • 1篇采矿与安全工...
  • 1篇中国教育和科...

年份

  • 1篇2020
  • 1篇2019
  • 2篇2018
  • 1篇2017
  • 1篇2016
  • 1篇2015
  • 2篇2014
  • 1篇2013
  • 2篇2012
  • 1篇2011
  • 2篇2010
  • 1篇2009
共 16 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于并行扩展有限状态机的协议层次化测试生成方法
本发明公开了一种基于并行扩展有限状态机的协议层次化测试生成方法，包括：将待测试的网络设备的协议规范描述为一并行扩展有限状态机模型；将并行扩展有限状态机模型中各个组件模型间的变量使用情况描述为一状态机依赖图；根据状态机依赖...
王之梁姚姜源施新刚尹霞
文献传递
基于变量依赖的并行扩展有限状态机的协议测试生成方法
本发明涉及网络协议测试技术领域，公开了一种基于变量依赖的并行扩展有限状态机的协议测试生成方法，依次执行以下步骤：1：在计算机中，把被测试的网络设备的协议规范描述为一个并行扩展有限状态机模型；2：采用忽略变量依赖的扩展有限...
王之梁姚姜源尹霞
可编程路由器研究进展被引量：2
2010年
可编程路由器是一种能通过配置和编程,实现灵活部署新服务和减轻网络管理负担的网络层设备。
胡光武徐恪华婷姚姜源
关键词：路由器编程网络管理网络层
基于网络通信内容的木马检测系统设计与实现
与信息时代一同到来的，除了互联网应用，还有网络安全威胁。根据统计，木马，正是导致信息破坏与信息窃取的最主要的因素。于是，如何有效的检测与防范木马成为了人们关注的焦点。 当前一般的木马检测与防范方法，大都基于单机...
姚姜源
关键词：网络安全木马检测数据采集
文献传递
基于并行扩展有限状态机的协议层次化测试生成方法
本发明公开了一种基于并行扩展有限状态机的协议层次化测试生成方法，包括：将待测试的网络设备的协议规范描述为一并行扩展有限状态机模型；将并行扩展有限状态机模型中各个组件模型间的变量使用情况描述为一状态机依赖图；根据状态机依赖...
王之梁姚姜源施新刚尹霞
文献传递
软件定义网络应用测试序列的生成方法与生成系统
本发明公开了一种软件定义网络应用测试序列的生成方法与生成系统，该生成方法包括针对待测试软件定义网络应用构建信息表扩展有限状态机模型，信息表扩展有限状态机模型包括用于描述软件定义网络应用的行为的多个组件状态机；基于多个组件...
姚姜源王之梁施新刚尹霞李崇荣
文献传递
一种用于生成协议测试序列的方法
本发明公开了一种用于生成协议测试序列的方法，包括以下步骤：针对待测试网络设备的协议规范构建包括与所述协议规范对应的数据组件状态机以及信道集合的流水线扩展有限状态机模型；根据所述流水线扩展有限状态机模型提取抽象组件数据图，...
王之梁姚姜源施新刚尹霞
文献传递
可编程路由器技术研究被引量：1
2011年
可编程路由器是一种能从功能上分解成若干组件与接口,并能通过配置和与编程,实现灵活而动态地部署新服务、新协议和减轻网络管理负担的路由设备.本文调研了可编程路由器相关研究工作;讨论了可编程路由器与传统路由器、可扩展路由器、主动网络节点、可重构路由器的区别;重点说明了可编程路由器的架构及其数据路径的可编程性;同时也对可编程路由器的平台重构、网络管理及创新应用等方面进行了考察,最后对工作进行了总结并讨论了未来可能的研究方向.
胡光武华婷姚姜源
关键词：可编程路由器可重构路由器可扩展路由器主动网络节点下一代互联网
基于扩展并行多组件状态机的网络协议测试研究
基于形式化方法的协议一致性测试是确保协议可靠性的基本手段。当前,一些新型互联网协议中存在不同的并行组件,而传统形式化方法难以描述这些特点,本文针对基于扩展并行多组件状态机的网络协议测试进行了深入的研究。本文综述了相关的研...
姚姜源
文献传递
软件定义网络应用测试序列的生成方法与生成系统
本发明公开了一种软件定义网络应用测试序列的生成方法与生成系统，该生成方法包括针对待测试软件定义网络应用构建信息表扩展有限状态机模型，信息表扩展有限状态机模型包括用于描述软件定义网络应用的行为的多个组件状态机；基于多个组件...
姚姜源王之梁施新刚尹霞李崇荣
文献传递
全选 清除 导出
共2页<12>
聚类工具0