构造基于构件依赖关系矩阵的元数据模型

构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系.本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述.对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件RegisterStuGrade 中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性.     

TPM的两个主要密码授权协议的安全性分析与改进

可信计算的主要功能是由可信平台模块(TPM)完成的.对象无关授权协议(0IAP)、特定对象授权协议(OSAP)是TPM在可信计算平台中运行的基础,确保这些协议的安全运行是极为重要的.本文对这两个授权协议进行了逻辑描述并对其安全性进行了分析,针对协议的安全隐患提出了相应的改进方法.     

基于可信计算平台的静态客体可信验证系统的设计与实现

在安全操作系统中,通常采用了多种访问控制模型来保证静态客体的内容的机密性和完整性.但是,传统的访问控制政策不能保证静态客体内容的真实性.因此,安全操作系统中的客体并不可信.本文首先分析了操作系统中客体的类型,总结了安全操作系统中对静态客体的处理存在的问题,提出可信静态客体的概念并分析其特点.为了保证可信静态客体内容的真实性,提出了基于TPM的静态客体可信验证系统.该系统将生成可信静态客体的映像文件,映像文件记录某可信静态客体的来源、各次处理行为和内容变化的签名并存于TPM中.最后对该可信验证系统进行了安全和性能分析.分析表明,该可信验证系统可以保证可信静态客体内容的真实性,为进一步建立可信计算环境提供了基础.     

一种抗阻断攻击的认证组密钥协商协议

一个非认证的组密钥协商协议不能对通信参与者和消息进行认证,它必须依赖认证的网络信道或其它的认证方法.分析了Burmester等人在认证广播信道下提出的著名组密钥协商协议,指出它不能抵抗内部恶意节点发起的密钥协商阻断攻击,该攻击导致组内其它诚实节点不能正确计算出一致的组密钥.提出了一种改进的认证的组密钥协商协议,在原协议中加入了消息正确性的认证方法,能够对组内恶意节点进行检测,并在随机预言模型下证明了改进的协议能够抵抗密钥协商阻断攻击.     

一类具有"开端"结构的安全协议分析方法研究

开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法.     

头孢克肟片含量的近红外漫反射光谱法测定

目的:建立测定头孢克肟片含量的近红外光谱(NIR)快速分析分析.方法:以全国不同企业生产的头孢克肟片为分析对象,用光纤探头测定近红外漫反射光谱;定量模型的预处理方法为一阶导数与矢量归一化,波数范围为11995.2～7498cm-1和5453.8～4597.5 cm-1,采用偏最小二乘回归算法(PLS).结果:定量分析模型由76个样品经内部交叉验证建立,40个样品用于外部验证,浓度范围为13.5％～54.2％,相关系数为0.9894,交叉验证均方差(RMSECV)为1.53％,相对偏差小于5％.结论:该方法快速、简便,具有一定的专属性,可用于药品的快速检验.     

一种提高XCP协议在大RTT差异环境下的鲁棒性方法

现有TCP协议的拥塞控制机制存在很多不足,XCP(eXplicit Control Protocol)协议采用显式反馈的方式有效地克服了这些缺陷.XCP协议能容忍数据流之间一定的RTT差异,但当这种差异超出一定范围时,XCP协议性能恶化,变得不稳定.通过分析XCP协议路由控制周期与数据流RTT的关系,提出了一种控制周期根据RTT差异程度而自适应调整的方法,消除了系统振荡.仿真数据表明,该方法能有效地提高XCP协议在数据流RTT差异较大的环境下的鲁棒性,同时不给路由器带来过大的计算负担.     

甲基苯丙胺渴求量表在戒毒人员中应用的信效度

目的:探讨修订版甲基苯丙胺渴求量表(MA craving scale)在甲基苯丙胺成瘾戒毒人员中的适用性.方法:以460名甲基苯丙胺类成瘾的戒毒人员为施测对象,对数据进行项目分析、探索性因素分析和验证性因素分析.结果:修订版甲基苯丙胺渴求量表共包含5个因子,总量表与分量表的内部一致性系数0.62～0.73之间,重测信度...     

非否认协议中认证保密性的设计与形式化分析

探讨了非否认协议的保密性认证目标,用攻击的方法验证了A(0)协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA(0)协议;进一步运用SVO逻辑对NA(0)协议进行了形式化的分析,验证了NA(0)协议满足主体身份的认证性和会话密钥的保密性.     

基于链路可靠性的Ad Hoc网络路由协议研究

本文在随机移走(Random Walk-Based)模型的基础上,对Ad Hoc网络链路通信的可靠性进行分析,给出链路可靠性的简单数学模型,提出一种基于链路可靠度的路由协议,并通过仿真实验验证了该协议的有效性.