熊勇强 藏石欣赏

依稀梦里有把芭蕉扇，那是妈妈的爱怜，扇去孩子身上汗，扇走蚊虫好安眠。

基于攻击者和秘密的安全协议验证算法的研究与实现

网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念 .本文介绍了几种具有代表性的安全协议的形式化验证工具 ,研究并使用 JAVA语言实现了基于攻击者和秘密的安全协议验证算法 .我们提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架 .框架是指针对攻击者和其冒充的角色对原安全协议的改造 .我们实现的验证工具是证伪的 ,即如果攻击者能够成功冒充某主体 ,则该安全协议是有漏洞的 ,反之则该协议的安全性得到某种程度的保证 .本文还给出了该算法的攻击实例 。

宽带IP路由器的体系结构分析

随着宽带技术的不断发展 ,组建主干网的路由器必然需要以千兆比特以上的速率转发分组 ,而基于总线和中央处理器的路由器具有无法克服的局限 ,这就对传统的路由器体系结构提出了严峻的挑战 .该文全面综述了近年来在宽带 IP(Internet protocol)路由器方面研究的最新进展 ,详细分析了用于主干网互连的宽带IP路由器的体系结构设计 ,最后 ,指出了该领域中需要进一步研究的问题 .

高性能安全路由器BW7000的设计与实现

高性能和安全是计算机网络研究的两个主要问题。路由器在保证转发性能的前提下提供网络安全保护已经成为当前的研究热点。文章介绍了在完成国家“八六三”计划重大课题“高性能安全路由器”的过程中解决的若干关键技术问题。高性能安全路由器BW 70 0 0基于自主设计的高性能路由器操作系统HEROS。为保证高性能的路由转发 ,设计实现了基于RAM的高性能路由查找算法 ;为支持服务质量控制和安全管理 ,设计实现了基于无冲突Hash Trie树的分组分类算法和基于反馈的分布式分组调度算法 ;为保证网络安全 ,提出了基于分布式密钥管理的路由器安全体系结构。

边界网关协议BGP-4的安全扩展

文章分析了边界网关协议BGP4的安全弱点 ,针对这些安全弱点对协议进行了扩展 .通过数字签名技术来保护AS-PATH属性中的信息 .为了适应分布式路由协议的特点 ,提出了分布式的基于RSA的密钥生成算法 .通过综合运用这些技术 ,在基本保持报文长度不变的情况下有效地保护了BGP协议信息的机密性。

TCP重传计时器的实现和改进

传输控制协议(TCP)是Internet上数据传输采用的核心协议.为提高性能和保证数据的可靠传输,TCP使用了重传计时器的概念.文章对Xinu操作系统中的TCP重传计时器管理和往返时间(RTT：Round Trip Time)测量两方面的问题进行了分析,并提出了改进的方案.

一个TCP调试系统的设计与实现

TCP软件一般位于操作系统的核心 ,这种情况给 TCP的研究和调试带来了很大的困难 .在 Sun Solaris平台上 ,我们使用系统提供的 DL PI接口和有关多线程的系统调用 ,构建了一个 TCP调试系统 。

会话层/表示层协议一致性测试的研究与实现

会话层／表示层协议是ＯＳＩ高层协议的一部分。本文介绍协议一致性测试研究现状、测试过程及方法，分析会话层／表示层协议一致性测试需求，采用树表格式（ＴＴＣＮ）与抽向语法表示（ＡＳＮ．１）相结合的形式化描述语言，设计实现了会话层／表示层协议一致性测试系统及测试集。并对ＩＳＯＤＥ软件中的会话层／表示层协议实现进行了一致性测试，包括基本互连、能力、有效行为、无效行为及定向诊断等。

数据中心中的可靠组数据传输

可靠组数据传输是数据中心中的一个重要传输模式.在可靠组数据传输问题中,有一个数据源,和一个接收端的集合.可靠组数据传输需要把数据从数据源可靠的分发给所有接收端.P2P是一个典型的可靠组数据传输系统,在互联网得到广泛的应用.然而,P2P系统对可靠组数据传输的完成时间没有保障.与互联网不同的是,数据中心有以下特点:1)数据中心的拓扑结构是预先知道的.2)数据中心可以被集中管理,各个结点之间是相互合作的.基于这两个特点,本文对数据中心的P2P系统进行了重要改进.1)通过一个集中控制算法对每个结点的邻居进行选取.2)在某些特定结点进行数据缓存.我们在ns3平台实现了一个P2P系统,并用本文的方法对其进行改进,在BCube(4,1)中传输4GB的数据,BitTorrent需要52s完成所有数据的传输,而本文的方法只需要18s.

建构主义学习理论在中职电工教学中的应用

由于电工基础课程在中职教学中具有很多的特殊性，比如概念多、规律难，所以学生学习起来比较困难。学习理论对教学实践有很重要的指导作用。为了解决这个问题，本文讨论了在电工基础教学中运用建构主义理论的一些方法，并对这些教学方法的应用做了一些分析。

浅析电力体制下财务管理模式的优化与创新

近年来,在社会制度不断深化改革的背景下,电力体制也随之发生着转变,传统的财务管理模式以难以满足新电力体制要求,为进一步确保财务管理效果。重视对财务管理模式的优化及创新就显得尤为重要。本文主要围绕电力体制下财务管理模式进行了探讨、分 析,提出了有效的优化与创新措施,以供参考。

泄漏电流对高压计量箱误差特性影响及分析

高压计量箱在运行状态下其电流互感器一次绕组和二次绕组之间存在泄漏电流,将会产生附加误差。因此,在进行高压计量箱电流互感器误差校验时需考虑和分析高压泄漏电流对计量误差的影响程度。文中通过理论和试验测试相结合的方式分析了泄漏电流对电流互感器误差的影响,并给出了相应结论。

分布式路由系统中的安全机制及其密钥生成技术

针对大规模分布式路由系统的安全保障问题 ,考虑到公钥密码系统在身份认证和密钥管理上的巨大成功 ,给出了一种基于公钥密码系统的安全机制。此安全机制去掉了一般安全系统中的密钥分配中心或者认证中心 ,因而减少了单一失效点 ,提高了系统的扩展性 ;同时分析了在这种机制中使用的密钥生成算法及其复杂性。此算法由各个分布的密钥生成器独立执行 ,在给定的约束条件下 ,可生成全系统唯一的包含强素数的

积极发展对外贸易 跨越中等收入陷阱

本文基于我国目前正处于中等收入水平这一事实,通过研究世界发达国家的经济发展路径,探求保持我国经济持续高速增长的途径,提出在促进科技创新、转变经济增长方式的基础上大力发展对外贸易是保持我国经济持续高速增长,跳出"中等收入陷阱"的有效途径,通过实证研究也发现对外贸易对我国的经济发展影响巨大。

拓展生物科学史,突破疑难点的案例分析

结合人教版高中《生物·必修2·遗传与进化》教学中的3个案例,从拓展内容、拓展原因和拓展效果三方面,分析了适度拓展生物科学史作为教材的有机补充,对帮助学生构建概念、训练思维起到的独特作用。