国防基础科研计划(A1420060162)
- 作品数：13 被引量：63H指数：6
- 相关作者：张大方谢鲲缪力谢高岗曾彬更多>>
- 相关机构：湖南大学中国科学院香港理工大学更多>>
- 发文基金：国防基础科研计划国家自然科学基金湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- IEEE802.11中WEP认证协议的SPIN模型检测被引量：7
- 2008年
- 用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语言,最后利用SPIN工具分析WEP认证协议。实验的结果说明WEP认证协议存在漏洞。
- 金秀张大方缪力
- 关键词：WEP协议逻辑验证状态搜索协议漏洞
- WPathload：一种改进的可用带宽测量方法研究
- 针对Pathload可用带宽测量方法存在收敛慢、开销大的问题,文章基于时延变化的统计规律,改进发送速率调整算法,提出了一种Pathload可用带宽测量方法的改进方法（WPathload）,并采用周期流组到达目的端的速率代...
- 曾彬张大方黎文伟谢高岗
- 关键词：可用带宽带宽测量网络测试
- 文献传递
- LINUX进程间通信的模型检测被引量：2
- 2008年
- 模型检测是一种强大的自动分析验证技术。分析了LINUX进程间通信的部分源代码并进行手工形式化建模,使用有限状态自动机描述模型,继而转换成SPIN的输入语言PROMELA,对其进行模型检测,验证了系统的有界性和可终止性,并就进程间通信中容易发生的问题提出了改进方案。
- 姜玉蓉缪力张大方刘潇潇
- 关键词：LINUX进程间通信SPIN
- 面向流量控制的可扩展策略库的设计与实现
- 2008年
- Linux提供了一套功能强大的流量控制机制,成为当前实现网络QoS的重要工具。针对制定流量控制方案时带宽划分精度和粒度难以权衡,采用单一队列调度算法实施流量整形效果不尽如人意等问题,提出了基于可扩展策略库的流量控制管理方案,在Linux下设计并实现了可扩展流量控制策略库。介绍了该策略库的3个模块:策略存储实体、出错回滚监控模块和可扩展策略库管理模块。定义了策略的存储格式,将主机、服务、时间、上下行方向等元素综合管理起来。同时提出了结合优先级调度的策略添加、删除、合并的策略管理算法。通过实验分析证明该流量控制管理方案的有效性和实用性。
- 刘潇潇张大方谢鲲姜玉蓉
- 关键词：流量控制LINUX
- 基于主动测试的流媒体业务性能测量工具设计与实现被引量：5
- 2008年
- 流媒体业务是推动下一代互联网发展的主要动力之一,对其性能的测量极为重要。根据流媒体业务性能测量的要求,借鉴主动测试技术,从端用户角度提出了合理反映流媒体业务性能的指标,分析了精确测量性能指标的方法,从而设计并实现了基于主动测试的流媒体业务性能测量工具,并对设计的关键问题做了分析。测量实验表明测量工具运行健壮,测量数据精确,取得了理想的效果。
- 曾彬张大方张玫
- 关键词：流媒体
- BitTorrent系统中一种近似全局最少优先的文件块选择策略被引量：6
- 2008年
- 提出了一种近似全局最优的文件块选择策略——种子覆盖网。在BitTorrent系统中,所有种子自组成一个应用层覆盖网,每个种子保存已上传文件块信息;种子响应请求时通过种子覆盖网查找下载者感兴趣且上传数目最少的文件块上传。模拟实验表明,与纯局部最少优先策略和SmartSeed策略相比较,在采用种子覆盖网策略的BT系统中,节点平均下载时间缩短了25%～35%,并且下载第一块和最后一块的平均等待时间缩短了40%～60%。
- 王利娥黄昆张大方
- 关键词：对等网络
- 利用反射实现商业软件组件(COTS)的测试
- 2006年
- 由于商业软件组件可以全面地削减开发成本和缩短开发时间,所以被越来越多的大型软件项目所采用。然而,撇开这些优点不谈,为了确保它的功能和开发商所说的相符,为了校验质量,还是需要对它们进行有效的测试。同样重要的是,我们需要确保当它们被集成到最终系统中时,不执行有害代码,比如特洛伊木马和间谍软件,为此本文提出一种测试COTS的方法,可以对这些组件进行全面的测试。
- Wahab Ismail缪力张大方
- 关键词：软件测试
- 基于IXP2400的流量控制实现被引量：3
- 2008年
- 网络流量控制(TC)是为了保证网络中不同服务的需要,在确保业务可靠性、时延、时延抖动、吞吐量、包丢失率的前提下,充分利用各调度机制对网络中各种业务流的状态所进行的控制。网络处理器平台提供了高效灵活的处理机制,优化了网络包处理。基于Intel IXP2400的平台,通过对IPv4包头中ToS字段的修改及判断,更好地实现了网络流量控制。
- 谢希张大方谢鲲刘天明
- 关键词：流量控制IXP2400网络处理器
- 基于H.323协议的VoIP语音流量识别被引量：9
- 2008年
- 通过分析H.323协议和H.323协议的会话流程,基于H.323协议的VoIP通信过程中出现的会话特征,提取出通信双方的元组信息来识别整个会话流量,设计出相应的流存储、搜索、更新方案和识别VoIP流量的算法。实验表明,该方法能够准确识别基于H.323协议的VoIP语音流量。
- 毕夏安张大方谢鲲牟晓玲
- 关键词：H.323会话业务流
- 结构化对等网中一种副本概率选择算法
- 2008年
- 结构化P2P系统常采用为热点文档创建副本的方法,降低存有热点文档节点的负载。从如何高效利用副本的角度出发,提出了一种副本概率选择算法(PRS),采用能者多劳的思想,请求数据包以较大的概率转发到负载轻的副本节点上。让轻负载节点分担更多的负载,充分利用了副本分担负载的能力。模拟实验表明,该算法在创建副本数相同的情况下,大大降低了丢包数,提高了副本的利用率。
- 朱娴淑黄昆张大方
- 关键词：对等网络分布式哈希表负载平衡副本选择
