摘要：通过对SE-BGP(security enhanced BGP)的研究与分析,发现此方案不仅无法认证动态变化的跨联盟AS(autonomous system),也无法抵御其自身所发起的主动攻击。为了解决SE-BGP存在的安全问题,设计了二层跨联盟等级结构CAHS(cross-alliance hierarchical structure),基于CAHS结构,借鉴护照签证思想,利用递增散列——Ad HASH(additive hash)的特性提出了一种跨联盟安全机制SCA-BGP(secure crossing alliance for BGP)。该机制具有更高的安全性,可以有效地认证跨联盟AS的身份及行为授权,还可对其所携带的信息进行安全验证。实验分析表明,SCA-BGP可以有效地减少所需证书的规模和额外的时间开销,具有更好的可扩展性和网络收敛性能。

摘要：针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC(zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE(safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.

摘要：以推动工作为目标，有的放矢要强化“汇报工作也是工作的一部分”这一思想，不能认为汇报工作仅仅是为了让领导了解工作进展，更重要的是让领导知晓还有哪些工作没有完成，没有完成的原因、存在的困难是什么；

摘要：企业形象是企业精神文化的一种外在表现形式,这种形式是通过人体的感官传递获得的。为此,公关广告必不可少。本文以公关广告特点为切入点,研讨公关广告与商业广告的优劣以及公关广告的强大功能,列举公关广告对塑造企业形象的贡献,最后提出建议,希望对企业塑造良好形象有所帮助。

摘要：介绍了基于多传感器协同的智能循迹小车控制系统设计。研究了小车在各工况下工作情况,以XC866-4FR为控制核心,搭建包含轨迹传感器、轮速传感器和转向角传感器在内的多传感器协同控制硬件系统。设计多传感器协同方法以及多路况控制策略。开发控制软件并进行软件可靠性设计,改进后智能小车循迹可靠性和过弯速度有大幅提升。

摘要：开放式最短路径优先(OSPF)协议作为目前大规模网络应用最广泛的自治域内路由协议,其安全不仅仅关系到自治域内,同时也关系到自治域外乃至整个网络的正常运行。传统的基于非对称性加密算法的数字签名解决方案能够实现端到端的安全验证,但是却忽略了点对点的方式,而且存储量和额外开销也一直是急需解决的问题。基于对称性加密算法,提出了适宜于OSPF等级区域的安全防护方案HS-OSPF。HS-OSPF扩充了OSPF网原有的二层等级结构,设计了合理、高效的密钥分配与管理方案,克服了传统非对称性密码方案的不足,降低了密钥存储量和系统开销,提高了网内安全通信的实时性。

摘要：为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确认时人为的主观性。通过实例阐述了应用该方法进行形式化验证的一般步骤,表明了该方法是有效可行的。

摘要：密码芯片中有复杂的加解密算法和密钥保护机制,然而在计算过程中密码芯片的功率泄露却与所操作的密钥相关。攻击者利用统计学进行功率泄露分析,则可逐步解析出密码芯片所操作的密钥,从而破解整个系统。为了解决这个问题,许多抵御功耗分析攻击的安全算法与安全实现技术相继提出,但是很少有针对这一套安全防护技术设计规范的研究。文章给出了密码芯片安全算法的一套设计规范,分别基于算法设计维度规范和硬件设计维度的设计规范,来改变功率消耗的特征。这种设计规范除了能为密码芯片企业提供芯片设计的效率和安全性技术支撑外,还能指导和规范其在产品投放市场前得到系统的测试、评估和设计,免除了一旦出现安全问题后给用户和厂商带来巨额损失。

摘要：以车辆减重为出发点,就新155车负重轮的改进进行了技术分析。应用ANSYS软件,对铝制负重轮橡胶轮缘应力、温升进行有限元分析计算,并与国内外同类产品进行对比,完成最终的优化设计。在此基础上进行了工艺加工和行驶试验,结果表明,我国155车的铝制负重轮的设计和工艺生产过程是成功的。

摘要：可信网络连接规范从终端安全着手,通过一个开放的体系架构解决终端安全接入问题。但它只是一个框架性的概念,要想在二层设备上实现终端安全接入就必须通过802.1X协议来实现,而802.1X协议又是借助负载于二层的标准基于局域网的扩展论证协议(EAPOL)进行认证的。现通过扩展标准EAPOL,并将这种扩展应用于可信网络连接框架中,提出了一种实现二层设备安全接入的方法,同时该方法在某个接入系统中得到了实现。