一种形式化的可信平台模块应用编程接口安全性分析方法

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.     

基于SR-IOV的TCM硬件虚拟化构建可信虚拟环境

虚拟可信密码模块(vTCM)架构在安全和性能上均存在缺陷,不满足特殊应用场景下高安全性的需求.本文基于设备虚拟化技术提出了一种TCM硬件虚拟化的实现架构,利用该架构设计密钥结构,得到构建高安全可信虚拟环境的方法,为虚拟机提供硬件级的可信密码服务.可行性验证分析表明,本系统能够增强可信虚拟环境安全性,提高系统效率.     

基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.     

基于身份的高效层次认证密钥协商协议

现有的基于身份的认证密钥协商协议大多工作于单一私钥生成中心(Public Key Generator,PKG)环境下.提出了一种新的基于身份的层次认证密钥协商协议.该协议中,根PKG为多层的域PKG验证身份并生成私钥,域PKG为用户验证身份并生成私钥.多层PKG有效防止了单点失效问题,减轻了PKG的运行压力,提高了系统的承载能力.与已有协议相比,本文协议的计算开销与双方用户所处层级成线性关系,不含双线性对运算,具有更高的效率.协议的安全性基于计算性Diffie-Hellman困难假设,满足密钥协商协议所需的基本安全需求,具有PKG前向安全等安全性质.     

基于多线性映射的可公开验证加密方案

为提高可公开验证加密方案的安全性,提出一种标准模型下基于多线性映射的可公开验证加密方案.通过用户公钥验证密文中陷门的合法性,结合多线性映射性质实现可公开验证,使用一次签名算法提升方案的安全性,并进行了安全性证明.分析结果表明,该方案是标准模型下选择密文攻击安全,不需要用户的私钥就能对密文进行验证,在安全性上有很大提高.     

面向智能电网的移动终端可信网络通信方案

针对智能电网中存在的缺乏对硬件设备的认证、无法验证初始双方的计算环境安全的问题,提出了一种基于国密算法的、面向智能电网场景的移动终端可信网络通信方案。该方案基于FPGA(field programmable gate array)实现了国密算法以满足智能电网防护自主可控的安全需求,从物理层面增强了智能电网下移动终端的安全性;将可信网络连接技术应用到智能电网移动终端中,设计出适用于智能电网系统中终端的数据安全传输方案,在保证通信链路安全的同时,保证接入智能电网系统中终端的合法性。本文设计并实现了所提方案的原型系统,并基于原型系统完成了仿真实验。实验结果表明,本文提出的可信通信方案可有效提升移动设备网络接入安全性,在智能电网中具有良好的应用前景。     

一种密钥协商协议的自动化设计方法

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性.表明该方法具有较强的可行性和适用性.     

虚拟计算环境中的分布式软件日志管理机制

软件日志的记录与审计是软件容错中至关重要的一部分,但是现有日志文件系统缺乏足够的信息为安全审计和故障恢复提供支持.为了解决这个问题,本文提出的VDSL(虚拟化分布式软件日志管理系统)利用虚拟化技术封装业务的整个执行环境.VDSL克服了传统日志管理系统隔离性差,资源利用率低的缺点,在分布式系统中利用动态二进制翻译技术记录各虚拟结点的日志,将这些日志发往故障服务器,在故障服务器利用聚合技术将这些日志进行同步.实验表明,VDSL系统可以很好地完成虚拟化环境下分布式软件日志的记录功能,同时可以将分布式系统中各虚拟结点的软件日志同步聚合,实现软件日志的安全审计与故障恢复,达到了软件日志功能的有效性,可靠性与容错性.     

基于轻量级数字签名的药品防伪追溯系统的设计

分析了现有防伪系统存在的问题与不足,提出通过将数字身份应用到药品领域的方法,实现药品的防伪、追溯和流向跟踪,并提出在消费者打开包装时销毁验证码,在验证时将药品信息、编码及查询次数等信息返回给消费者的方法.利用JUNA轻量级的数字签名技术设计了一个药品防伪追溯系统.JUNA生成的数字身份以32进制表示长度只有16个字符,有效地解决了现在数码防伪系统存在的密钥安全性、签名码长度过长等问题,提出了构建云计算平台验证中心的思想.     

财务预警模型在银行信用评价系统中的应用

商业银行作为我国金融企业的主体其资产运营管理安全比一般的企业更加重要,它关系到国家的金融安全.本文认为确保贷款的安全,保证金融企业的资产安全,要从根源上即信贷客户信用评估入手,确保信贷客户的质量,正确评估信贷客户的偿还能力.本文从金融企业资产管理的角度出发,在借鉴前人的理论研究和实践经验的基础上,结合我国的现状,改进目前的信用评价系统,构建一个适用于我国商业银行信贷客户的新型信用评价系统,并运用实证方法,通过2002年23家上市公司和9家非上市公司的相关财务数据分析和验证新型信用评价系统的可操作性和合理性.     

一个新的四维超混沌系统及其分析

为了产生更复杂的超混沌信号用于混沌保密通信,构造了一个新的四维超混沌系统.利用理论分析和数值仿真手段,详细地分析了该系统平衡点的性质、吸引子的相图、时间响应、功率谱、分岔图和Lyapunov指数谱等基本动力学特性.结果分析表明,新的四维系统随着典型参数的变化呈现周期、拟周期、混沌及超混沌动力学的行为.     

蓝链霉菌抗生素次生代谢过程的调控因子研究进展

天蓝链霉菌是抗生素代谢调控研究的模式菌株,它能产生十一烷基灵菌红素(Red)、放线紫红素(Act)、次甲霉素(Mmy)和CDA(Calcium-Dependent Antibiotic)4种抗生素.详细介绍了抗生素生物合成基因簇中途径专一调控基因、形态分化基因、双组份信号传导基因以及其它一些重要的小分子物质对抗生素次生代谢的调控作用,并阐述了其相互协同调节的网络体系.     

引进风险信息进行核电站备品备件管理的新方法研究

本文提出了一种利用PSA(Probabilistic Safety Assessment)方法学和风险信息进行核电站备品备件管理的方法.和过去备品备件管理方法相比,这种新方法打破了原本基于厂家推荐或电站运行经验的库存量确定方式,与设备的安全重要性相联系,可以解决备品备件大量冗余积压的问题.首先根据不同的PSA模型确定设备的安全重要度,然后根据设备的安全重要度、采购价格,使用寿命等因素,进行分类和建模,从而优化备品备件的库存量.这种新方法兼顾了电站安全和电站成本的最优化.     

梁桥在地震力冲击作用下简化的安全评估方法(英文)

提出了梁桥受桥板地震力冲击作用下一种评估抗震安全系数的简化能量法。将桥（包括内桥墩）与桥台（包括其基础）分别作为一个单自由度质量系统，基于冲击时两个质量系统的能量交换，可以得到岸墩桥台的基底剪力，然后与桥台的抗力（作用于桥台的侧向土压力基底摩擦力之和）相对比，可以得到桥台受桥板地震力冲击下的抗剪安全系数。该方法简单方便，并与有限元非线性动力分析结果相吻合。     

五次对称准晶的非线性弹性性质

利用对称性理论，分析了五次对称准晶的非线性弹性性质，计算了五次准晶的二个Laue类所有的三阶弹性常数，结果表明Laue 11（55）具有72个独立三阶弹性常数（12个属于声子场，10个属于相位子场，24个属于声子一声子相位子耦合场，26个属于声子相位子相位子耦合场）；Laue12（5m，52，^5m）具有43个独立的三阶弹性常数，（10个属于声子场，5个属于相位子场，12个属于声子声子相位子耦合场，16个属于声子-相位子-相位子耦合场），由此可知：五次准晶的（二阶声子）非线性弹性性质和与声子、相位子耦合有关的线性弹性性质都展现了准晶的各向异性。     

基于CAS与Web服务的遗留系统集成框架研究

针对目前存在的大量遗留系统问题,提出了一种基于Web服务与CAS认证服务技术的遗留系统集成框架.该框架在应用集成过程中保持了原有遗留系统稳定性的同时,也解决了用户重复登录问题,使得遗留系统集成更加安全方便,从而对降低企业维护成本、提高应用系统可靠性有一定的实际意义.     

天然橡胶/顺丁橡胶/杜仲胶并用胶性能的研究

对天然橡胶、顺丁橡胶、杜仲胶三元共混硫化胶的性能进行了研究．试验结果表明，含适量杜仲胶的胶料具有良好的包辊性．掺用杜仲胶的胶料较不掺者定伸应力提高，滚动阻力和压缩生热降低，耐疲劳性能优异，磨耗和干湿路面摩擦因数保持较高水平，即轮胎三大行驶性能问有较好的综合平衡．而杜仲胶对共混硫化胶上述性能的影响在较高交联程度体系和较低交联程度体系不同．通过差示扫描置热法（DSC）分析表明，这可能与杜仲胶在硫化胶中形成的微晶有关，     

设计与构建Intranet广域通信网的若干关键技术

对构建Intranet广域通信网的若干关键技术进行了深入研究与分析。并结合工程实例,介绍了如何根据实际环境,综合权衡系统主要性能参数——传输时延、可靠性、带宽利用率与成本,设计和选择合理的拓扑结构、可靠性策略与路由策略,以实现一个高性能、低成本的系统。     

不同矿石对反渗透淡化水的调质效果研究

反渗透海水淡化已成为解决淡水危机的一种有效方法,但反渗透淡化水的化学稳定性差,使用过程中会腐蚀管网,作为饮用水存在一定的健康风险.采用溶解矿石法对反渗透淡化水的水质进行调节.对麦饭石、白云石、石灰石、进口矿石的理化性能(包括成分、物相组成、孔隙率及孔径分布、表面形态)进行了分析,并在此基础上对比分析了4种矿石对反渗透淡化水的调质效果.结果表明,进口矿石经人为加工后孔隙增多,溶出速率明显变快,调质后出水的硬度、碱度、Mg²⁺质量分数均高出其他3种原矿石50%以上,但其出水pH值过高,Ca²⁺质量分数低于石灰石,与自来水相比仍有一定差距,未来应致力于研制一种比表面积大、溶解速率快、无需对淡化水酸化而直接调质的调质剂.