位置：立项数据库 > 立项详情页
协议验证理论与方法的研究
  • 项目名称：协议验证理论与方法的研究
  • 项目类别：专项基金项目
  • 批准号：60241004
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：屈玉贵
  • 依托单位：中国科学技术大学
  • 批准年度：2002
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 38
  • 0
  • 0
  • 0
  • 0
期刊论文
基于局部错误诊断的动态协议一致性测试方法
无线传感器网络中的组划分算法
A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-hoc Networks
基于Markov链模型的被动测试错误检测算法
传感器网络中考虑响应时间的路由机制
WSN随机调度覆盖算法的子集划分最优解
无线传感器网络路由协议中的恶意节点发现和定位机制
DTN网络中PRoPHET路由协议的改进
一种新的动态无线传感器网络中的安全时钟同步算法
对Yahalom-Paulson协议的分析与改进
基于UIO测试序列的错误诊断算法
协议被动测试的错误标识
协议一致性冒烟测试系统的设计
一种SIP穿越NAT的解决方案
基于P2P的SIP用户定位研究
基于构造类别代数的数据流和控制流相结合的协议测试
基于Tcl的路由协议一致性测试
优化消息轨迹图以提高TTCN测试套的开发效率
传感器网络中的多重贪心路由算法
直扩编码并行序贯检测捕捉
无线传感器网络的动态树型结构
Petri网展开图法的分析和应用
概率信息流安全属性分析
基于有向图的最小完全覆盖互操作测试序列生成算法
被动测试中网络监测问题
基于有限状态机的错误诊断算法
基于MIMO的节能无线传感器网络
基于ABNF的高速硬件解码方法的研究
一种基于簇的容迟网络的路由算法CB-NIMF
一种可变测试集的协议一致性测试方法
基于形式规范的协议一致性测试的可靠性分析
传感器网络中的节能参与度模型
Protocol for the application of cooperative MIMO based on clustering in sparse wireless sensor networks
一种面向ABNF模式匹配的处理器设计
Load-balanced broadcast routing in wireless Ad-hoc networks
基于TCL的DHCP协议冒烟测试
无线传感器网络的WPCS覆盖策略
SIP服务器性能测试系统的研究与实现
屈玉贵的项目