一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于NAT-PT的IPv4/IPv6转换网关的研究

随着Internet和IPv6的发展,出现了IPv4网与IPv6网共存的局面。使用NAT-PT、SIIT技术的转换网关可以实现IPv4网节点与IPv6网节点的直接通信。该技术包括3个功能模块:IPv4到IPv6地址绑定、IPv4与IPv6协议转换和应用层协议转换;转换网关是在Linux平台的Netfilter过滤框架相关钩子点挂载转换网关功能模块实现的。     

信息安全管理中协调代理的方案选择优化模型

根据网络动态信息安全管理的需求,提出了协调代理的方案选择优化数学模型。该模型从动态、整体的角度,说明了协调代理在信息安全管理中的作用。根据技术、成本、时间、负荷和质量等5个因素,对4个方案进行评估,从中选择最优方案。应用该算法,对一个实际算例,进行方案选择。该算法能够显示用定量方法无法得到的因素影响,是一种信息安全管理中清晰、简便和实用的方案选择优化方法。     

企业级IP电话系统的设计与实现

描述基于H.323协议的企业级IP电话系统的设计与实现。包括H.323协议的介绍,IP电话系统的设计和结构,网关的设计和模块实现,网守的设计与实现,系统初始化过程和呼叫的处理过程。     

从会计诚信危机论国有企业退出问题

中国会计已面临诚信危机的严峻挑战。会计诚信危机的根源在于国有企业委托人虚位，而国有企业治理结构的缺陷则成为这场危机爆发的诱因。国有企业退出有助于实现企业委托人实位化和完善公司治理结构，从这个意义上来说，国有企业退出也是重塑会计诚信的一项重大举措。     

基于VPN技术的移动IP路由优化问题研究

为了满足Internet上移动IP主机的网络业务需求,Internet工程任务组设计了移动IP技术.通过回顾移动IP的历史和现状,介绍了移动IP的基本原理,最后重点讨论了基于VPN技术的移动IP路由优化问题.     

FIPA合同网协议的一种改进方案

针对FIPA合同网协议的一个典型扩展协议CNCP提出增设阈值的改进方案．因为无论Agent同时参与几项招标，最终它只能与其中某一个任务发起者建立正式合同关系，所以在确保Agent可在绝大多数情况下获得至少一个任务执行权的前提下，对参与招标的Agent一方设置合适的阈值，限定其同时处理的cfp的数量，可以为参与者一方减少大量不必要的计算消耗，降低任务被低效执行或最终得不到执行的风险，从而对系统整体性能的提升有所裨益．     

未来移动通信系统的网络移动性

分析了在未来移动通信系统中实现网络移动性的一些基本的需求，介绍了实现网络移动性的多种方案，包括由IETFNEMO工作组提出的基本方法，随后又介绍了一种可以实现路由优化的方法，最后总结了欧洲OverDRiVE计划对网络移动性的一些研究活动。     

基于B/S模式的广域网多媒体监控系统的设计与实现

以作者自行开发的广域网多媒体监控系统为例，探讨了适用于ADSL和宽带网络的动态IP解决方法，讨论了基于B／S模式的网络多媒体监控系统设计和技术实现方案。     

基于代理签名的多银行电子现金系统

为了实现安全的电子支付，基于代理签名方案和Brands电子现金系统，设计了一种新的多银行电子现金系统．通过分析表明，由于引入了代理签名方案，新方案可以方便地取消发币银行的发币能力，克服了现有的基于群签名的多银行电子现金系统的群成员撤销困难、群成员合伙攻击等问题，是一个安全的电子现金系统．