孟学军
- 作品数：16 被引量：65H指数：4
- 供职机构：武汉大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金教育部重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术水利工程更多>>
- 移动Agent系统的一种分布式死锁检测方案
- 2007年
- 传统的分布式死锁解决方案不适合于实体在网络中自由移动的MAS系统.本文描述了一种移动Agent系统的分布式死锁算法,使用专职Agent从事死锁检测和解决.该方案的特点是地点参考、拓扑独立、容错、异步操作.文中建立了StochasticPetri Net模型,并使用仿真试验给出它和Diffusion Computation算法的性能比较.
- 孟学军张焕国
- 关键词：死锁检测COMPUTATIONSTOCHASTICPETRIGRAPH
- 基于P^2DR的网络安全体系结构被引量：40
- 2004年
- 网络安全问题是网络发展和应用中的重要课题，网络安全体系结构的研究较传统的安全技术更加适合动态变化的网络安全问题。该文在分析动态网络安全模型P2DR的基础上，建立了面向屏蔽子网的双路由器的安全体系结构，实现了策略、防护、检测、响应的统一。
- 孟学军石岗
- 关键词：网络安全体系结构动态安全模型PDR
- 黄河治理措施探讨
- 黄河流域的水资源供需矛盾尖锐,干支流水质极度恶化,过度的开发利用已经严重威胁到黄河健康生命.黄河问题需要在统一管理,综合开发的基础上,通过广阔区域的水资源配置、加强水污染治理、在全流域乃至全国建立节水型社会来解决.而这些...
- 陆晶孟学军
- 关键词：黄河水资源配置节水型社会水权交易市场
- 文献传递
- 802.1x认证管理方式分析及实现被引量：7
- 2005年
- 认证是宽带以太网实现可管理和网络信息安全的前提。本文通过对802.1x以及高层认证协议机理和相互关系的分析,实现了以太网环境下802.1x用户认证。
- 孟学军
- 关键词：RADIUS协议用户认证802.1X认证宽带以太网网络信息安全
- 基于NetFlow网络流量分析的研究及应用被引量：8
- 2003年
- 在分析NetFlow交换及其特点的基础上设计了一个具体的网络流量分析模型 .它的主要特点是提供了数据输出网关和计费接口 ,易于扩展 .
- 孟学军吴黎兵石岗
- 关键词：NETFLOW数据采集采样间隔
- 分层结构Sendmail的安全性问题的研究及实践
- 2003年
- 本文存分析邮件系统Sendmail安全漏洞的基础上,设计了一种利用网络结构变化提升其安全性的分层结构的邮件系统。该系统同时依靠防火墙及安全策略的优化来加强其安全强度,从而提高了邮件系统的适应性、灵活性和安全性。
- 孟学军
- 关键词：电子邮件系统分层结构安全性SENDMAIL防火墙计算机网络
- 一种移动代理执行的高可用性容错机制
- 2004年
- 可靠性和容错是移动代理系统实现的重要条件．基于Bounded Failure Rate假设，利用合作Agent及被动复制措施提出了一种适于大规模网络环境下检测与恢复拜占庭故障的高可用性的容错机制，该机制确保了Non-blocking和Exactly-once两个原则的贯彻．重点讲述了绝大部分Agent故障现象的检测与恢复．
- 孟学军张焕国王丽娜
- 关键词：容错可靠性
- 脉动壁压深化研究
- 水流脉动壁压特性直接影响到大坝及导墙等水工建筑物的安全,本文通过模型实验获得了水流作用于平顺边界、导墙和冲击射流作用于底板的脉动壁压。并用正交分解法对脉动壁压进行研究,讨论了脉动壁压正交分解的特征值、展开系数的特性,并对...
- 陆晶孟学军
- 关键词：脉动壁压正交分解
- 文献传递
- 基于模型检测的可信软件栈测试被引量：1
- 2010年
- 基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.
- 何凡张焕国严飞杨飏汪红孟学军
- 关键词：可信计算平台可信软件栈计算树逻辑
- 基于用户访问行为分析的协同Proxy原理、方法及实现
- 基于WWW的网络连接和访问的局部性的两大基本特性,在分析用户访问行为的基础上,该文设计一个基于网站图拓扑的代理缓存系统CoSG(ProxyCache System Based on Site-Graph)原型.该文通过对...
- 孟学军
- 关键词：代理缓存副本命中率
- 文献传递
