运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

三级配混凝土劈拉强度二维细观数值模拟

为从细观结构上研究混凝土劈裂抗拉强度,通过自编程序建立混凝土细观模型,采用混凝土损伤塑性模型描述细观各相材料的损伤演化。利用有限元技术数值模拟三级配混凝土试件的细观损伤断裂和劈裂抗拉强度,探讨了不同骨料分布、骨料形状、垫条宽度及界面厚度对劈裂抗拉强度的影响。结果表明:不同骨料分布和骨料形状对劈拉极限强度略有影响,但数值模拟结果均在试验统计范围内,且与文献资料中给定的试验结果相符。按照现行试验规程选取垫条宽度时,可以有效地缓解加载部位应力集中现象,使劈拉强度接近真实混凝土强度。骨料粘结界面厚度越小,混凝土劈拉极限强度越高。     

汉江下游防洪对策初探

2003年9月,2005年10月和2010年7月,汉江中下游均发生了近20 a一遇的较大洪水,千里汉江干堤险象环生,汉江下游地区如今正成为长江防汛的一块“短板”。从汉江洪水特性、汉江下游防洪能力和汉江中下游防洪工程体系等方面进行了分析,初步认为,汉江丹江口水库调度复杂、汉江干堤防洪标准偏低、杜家台分洪工程尚未完建、汉江蓄洪民垸建设严重滞后,仍是汉江中下游防洪工程体系存在的主要问题,直接影响到汉江中下游的防洪调度。只有在丹江口水库按最终规模建成、汉江干堤按设计标准加高加固、杜家台分洪工程按设计标准完建、汉江蓄洪民垸按要求进行建设的情况下,才能基本上解除汉江下游的洪水灾害。     

敞开式组合电器在云口水电站屋顶开关站中的应用

鉴于云口水电站厂房距河口开阔地带有一定距离,处于峡谷之中,开关站在厂房附近就地布置困难较大,采用敞开式组合电器,布置在电气副厂房屋顶上,成功地解决了开关站布置困难的问题.     

三峡水情遥测系统中心站的设计与应用

三峡水情遥测系统中心站在通信组网设计上采用甚高频（VHF）、公共交换电话网络（PSTN）、全球移动通信系统（GSM）、北斗卫星和海事卫星5种通信方式,在系统软件设计上采用了客户／服务器（C／S）的结构模式。实践证明,三峡水情遥测系统中心站既保证了三峡水情遥测系统非常高的畅通率和准确率,又降低了通信成本;既保证了三峡梯级水库调度、防洪、发电和航运的要求,同时还为系统运行维护工作提供了方便。     

计算机系统在中风病诊疗模式中的应用

本文针对中风病的诊疗模式问题,提出了一个有效的计算机辅助诊断系统,通过对一系列中风病相关的资料的汇总,可以对中风病患者给出计算机辅助诊疗方案,为医生的最后确诊和确定治疗方案提供准确、可靠的科学依据。本系统对医院的上千个实际中风病患者进行了辅助诊疗,结果达到了预期的效果,可以作为临床诊断的辅助手段。本系统简单易用,功能全面,易于临床推广应用。     

图像加密算法仿真研究

研究优化图像安全性问题.传统的利用混沌理论技术对数据加密时运算开销大、运算效率不高,导致图像安全性不高等问题.为解决上述问题,提出了一种利用混沌理论的独立密钥DES图像加密算法.首先将待加密图像看作是一个普通的数据流,然后采用混沌理论的混沌二值序列作为密钥对该数据进行加密.通过对混沌二值序列加密算法的设计,使得加密和解密运算开销和运算效率得到了较大的提高,具有较强的抗密钥穷举攻击和抗攻击的能力.仿真结果表明,提出的算法具有一定的有效性和实用性,对图像进行加密达到了更高的安全性.     

模型检测在软件测试中的应用研究

以测试为基础的模型或规格是产生测试用例的一种很有潜力技术。在这种方法中,先要建立一个系统的规格或模型,再由规格或模型产生测试用例。文章对结合模型检测来进行测试的方法进行了研究,从整体上对测试进行考虑,不仅包含了对系统所希望具有的功能进行测试,还包括了对系统不应具有的功能进行测试。通过这种方法,我们可以进一步保证系统的正确性和可靠,大大降低人力和资源的开销,为进一步优化测试奠定了基础。     

基于用户行为的网络管理模型能力分析

现有的网络管理模型一般都侧重网络设备本身的管理,不太适应现在越来越复杂的网络管理。基于用户行为的网络管理模型从用户行为管理的角度出发,关联分析出网络中的用户行为,并根据用户行为管理策略规范用户的网络行为,从而消除不良网络行为对网络性能和安全的影响,使网络能安全稳定地运行,并可大幅度减轻网络管理员的负担。本文讨论基于用户行为的网络管理模型要解决的关键问题,提出并分析模型应具备的4个能力：感知能力、控制能力、取证能力和告知能力,最后讨论它们在实际网络管理中的应用情况,并证明它们的可用性。     

一种新的采用TCP封装的IPSec广域网加速通信研究

本文首先针对广域网上TCP通信比较慢等问题进行了分析,接着再对IPSec体系进行剖析。为了提高IPSec保护的TCP数据的广域网通信性能,本文提出了采用ACK代理、组包和压缩以及IPSecover TCP等机制的TTAP协议,并给出了协议实现的结构和流程。为了对协议模型进行验证,本文以FreeSWAN软件为基础,对TTAP协议进行了设计和实现,并提供了性能测试数据作为比较,最后对新系统的性能进行了分析。