铁路信号安全协议中消息认证码算法的研究

为了提高铁路信号安全协议RSSP-Ⅱ中消息鉴定安全层消息认证码算法的安全性和实时性,首先将传统的MASL-TDES-MAC算法底层的加密算法改进为安全性能更强的高级加密标准AES算法,并对改进后的MASL-AES-MAC算法采用FPGA技术进行硬件设计,其次根据硬件设计所达到的最高时钟频率和逻辑资源消耗情况,对算法的硬件实现环节采用查找表技术和流水线技术进行优化,最后在QuartusⅡ软件和Modelsim软件上进行联合仿真实验。研究结果表明:经过改进及优化后的算法具有更高的最高时钟频率和更低的逻辑资源消耗,不仅提高了协议的安全性,而且改进及优化后的算法在实时性方面比原算法提高了69.84%。     

Efficient Protocol-Proving Algorithm Based on Improved Authentication Tests

A new efficient protocol-proving algorithm was proposed for verifying security protocols. This algorithm is based on the improved authentication tests model, which enhances the original model by formalizing the message reply attack. With exact causal dependency relations between messages in this model, the protocol-proving algorithm can avoid the state explosion caused by asynchronous. In order to get the straight proof of security protocols, three authentication theorems are exploited for evaluating the agreement and distinction properties. When the algorithm terminates, it outputs either the proof results or the potential flaws of the security protocol. The experiment shows that the protocol-proving algorithm can detect the type flaw attack on Neuman-Stubblebine protocol, and prove the correctness of NSL protocol by exploring only 10 states.     

基于成果导向的中职机电专业群核心课程浅谈

机电专业作为中职教育体系重要构成部分,对培养学生技能、实现就业和个人发展具有十分重要的作用。然而随着社会经济和科学技术不断发展,社会各领域对人才也提出新的要求,并朝着复合型、专业型方向发展。这也对中职机电专业开展教育教学提出新的挑战,迫切需要对机电专业群课程体系进行构建和优化,在满足新时期人才需求基础上,提高中职机电专业教学质量,并推动学生获得更好发展。     

基于经验分析的国有证券公司核心竞争力测度体系研究

核心竞争力是证券公司通向未来之门。当前,我国证券业内外交困,正值多事之秋。证券公司只有大力培育核心竞争能力,才能激流勇进,立于不败之地。建立证券公司核心竞争力测度指标体系是进行核心竞争力培育的首要前提。核心竞争力指标体系的建立过程要密切联系该行业的业务流程。最后,文章得出验证性因子分析可以对建立的指标体系进行有效性检验的结论。     

折叠式夹芯层结构耐撞性能研究

折叠结构是将平板按有规律的线系网格进行局部褶皱而得到的立体结构,是一种新颖的夹芯层结构,可以提高结构吸能特性,改善结构的耐撞性能。文章利用非线性软件MSC.Dytran数值仿真分析了折叠式夹芯层结构在碰撞载荷作用下的力学行为,评估其平均压皱强度及吸能特性;研究了结构参数尺寸对耐撞性能的影响。分析表明,折叠式夹芯层结构在碰撞载荷作用下具有良好的吸能特性,是理想的吸能单元;各结构参数对结构耐撞性能产生不同程度的影响,进行结构参数优化研究可进一步提高结构的吸能。     

基于产业链的城市综合交通枢纽盈利模式

针对城市综合交通枢纽的特殊经济属性,从城市综合交通枢纽的核心价值链--综合交通枢纽运营出发,通过建设、运营、资源开发一体化的专业机构的设置,保证关键价值链和衍生价值链的有效整合;再结合各类衍生资源开发策略的研究,有效地实现各衍生价值链的盈利,从而构成城市综合交通枢纽的盈利模式.     

电子招投标系统的安全性研究

对电子招投标系统的安全性问题进行了分析,通过引入新型身份认证机制、并在Shamir门限可验证秘密共享方案的基础上进行改进,较好地解决了其中的问题.     

大跨度隧道塌方处理技术

研究目的：大跨度隧道洞口地形地质情况复杂，围岩完整性差，易出现塌方，对隧道施工进度和质量影响较大，本文结合大丽线禾洛山隧道出口段塌方的处理，对复杂地形地质情况下大跨度隧道洞口段的施工进行总结。 研究方法：针对禾洛山隧道出口段的地形、地质条件以及塌方情况，采用工程类比、数据分析和优化方案的方法，确定经济合理的处理措施，并对围岩、结构变形等进行了量测和分析，对主要结构进行了必要的检算。 研究结果：针对禾洛山隧道出口段具体的地形、地质以及塌方情况，采取有效的处理措施，取得了良好的效果。 研究结论：大跨度隧道洞口段地形、地质情况复杂，围岩软弱，有效预防和处理隧道塌方，顺利通过洞口段是隧道施工成败的关键。本工程采用大管栅、小导管注浆联合超前支付、预留核心土开挖塌体的处理方法，使塌方得到了有效控制和处理，保证了安全顺利通过塌方段，解决了隧道施工进洞难的问题。     

高职市场营销专业学生职业核心能力培养研究

职业核心能力是高职教育的重要内容,本文从营销职业核心能力的定义出发,总结了高职市场营销专业学生的职业核心能力结构现状,并指出提升营销专业学生职业核心能力的几种有效途径。     

丙型肝炎病毒核心蛋白基因的克隆及表达

目的在大肠杆菌中表达丙型肝炎病毒(HCV)核心蛋白基因片段。方法以HCV全长cDNA质粒为模板进行PCR扩增,获得366bp的核心蛋白基因片段。将其插入连接载体pMD18-T vector中,酶切后再与表达载体pBV220连接,构建重组表达载体pBV220/HCV-C。经鉴定后温度诱导表达,采用SDS-PAGE电泳及Western-blot检测核心蛋白基因的蛋白表达。结果经温度诱导后获得目的基因的非融合表达,SDS-PAGE电泳显示在14000 u处有一表达条带;Western-blot结果显示其具有HCV抗原特异性。结论丙型肝炎病毒核心蛋白基因成功表达,对临床诊断试剂和HCV基因疫苗的研制有一定的意义。