基于BAN逻辑的SADSR协议安全性分析

移动Ad hoc网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种.这使得采用形式化的方法分析其安全性成为可能.本文根据移动Ad Hoc网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,指出了协议应满足的条件.并对协议的运行过程进行了形式化,给出具体的分析方法.采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性.     

钢纤维轻骨料粉煤灰砼抗压性能试验研究

为了研发具有绿色特质的现代高性能钢纤维轻骨料粉煤灰混凝土,试验研究了水灰比、钢纤维体积率、粉煤灰取代水泥量对混凝土拌合物工作性能和混凝土干表观密度、立方体抗压强度、轴心抗压强度和弹性模量的影响规律。结果表明:配制强度等级LC35的钢纤维轻骨料粉煤灰混凝土,可采用水灰比0.30、钢纤维体积率0.4%~1.2%和粉煤灰替代水泥量0%~20%。在该参数范围内,所配制的混凝土拌合物具有大流动性和良好的粘聚性与保水性,混凝土干表观密度符合结构轻骨料混凝土密度等级1700要求;随钢纤维体积率增加,混凝土受压破坏形态转变为塑性破坏,立方体和轴心抗压强度以及弹性模量均有所提高;粉煤灰替代水泥量对各受压性能指标影响较小;钢纤维轻骨料粉煤灰混凝土的轴心抗压强度、弹性模量的取值满足现行轻骨料混凝土技术规程的要求。     

供热收费管理系统的设计与实现

针对供热企业管理的现实需求和未来发展要求,设计并实现了一种供热企业的管理系统。系统采用多层体系结构设计,本文重点介绍了解决方案及特点。     

地下水动态的影响因素分析

介绍了地下水动态与均衡的基本概念,从天然因素和人为因素两个方面详细分析了影响地下水动态的因素。     

基于J2EE的社保综合平台系统

为解决现有社会保险应用软件开发效率低、实施周期长、系统柔性差、无法满足用户需求的问题,采用C/S/S结构和J2EE的相结合,作为社会保险平台的主体架构。详细论述了系统的总体设计方案,提出了一个基于J2EE的C/S/S多层体系结构的社保综合平台系统。该系统可提高社保专业化应用水平,为促进社保实现的规范化、科学化做出了贡献。     

基于日志分析策略的分布式网络入侵预警系统模型

日志文件分析是系统安全检测的重要内容；同时日志文件也是计算机取证的重要依据；作者针对分布式网络日志文件管理和分析的几个难点，提出了日志文件的安全管理模型和分析处理策略，最后提出了在此基础上的分布式网络入侵预警系统模型及其设计方法。     

Oracle数据库中Java执行的安全性研究

Java是一种比较安全的编程语言,而且功能强大、应用广泛;Oracle数据库提供了极其强大的安全特性.两者的结合,可以为当前比较复杂的应用程序提供更强的安全性.主要研究了基于Oracle Java虚拟机的诸多安全途径.     

美国能源发展战略的动向及其对我国的启示

2000～2001年席卷全美的能源危机．敲响了能源问题被忽视的警钟．为此，美国政府组织强大阵容，在大量调查的基础上，制定了美国预计到2020年的能源政策，之后美国国会又通过了能源法案。在我国能源供应市场化和国际化的进程中，美国能源发展战略的新动向给我国能源安全路径选择提供了重要启示。本文在分析其战略动向的基础上，结合我国实际，探讨了我国的能源发展战略。     

关于IPv6安全体系结构——IPsec的研究

对IPv6引入的IP层安全机制-IPsec的体系结构、认证机制、加密机制以及密钥管理机制捏造研究。     

安全困境与后冷战时代的中美关系

安全困境是国际关系中的一个基本特征。通过分析安全困境发生的原因，提出安全困境的两种模式：一般性安全困境和结构性对抗安全困境，在此基础上对冷战后中美关系中存在的安全困境的性质和特征进行了分析，并指出对台湾问题的思考应该放在冷战后中美安全困境的背景之中。