PKI网络信任模型的分析与研究

信任模型是整个网络安全体系的基础,决定了在网络上采用信任的形式与采用该形式带来的信任风险,并提供了建立和管理信任关系的框架。可见,对于信任模型的研究在网络安全中非常重要。文章着重分析了基于PKI的各类信任模型的信任机制、认证过程及其存在优缺点,指出了各类信任模型对网络信息安全产生影响的主要原因。通过总结与对比,指出了PKI信任模型的设计策略与发展趋势。     

面向DO-333的襟缝翼控制单元安全性分析

DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制品进行验证与分析,判断其是否满足DO-178C的相关验证目标并提供证据支持。首先,对控制单元中襟翼与缝翼必须互斥更新的高级需求进行规约和验证;其次,对单个机翼控制逻辑的低级需求进行规约和验证。通过以上验证与分析,分别为标准中关于高级和低级需求的验证目标提供证据。文中展示了模型检验在一个机载软件认证中的应用实例,该工作将为机载软件的安全性保障和适航认证提供技术支持。     

基于SVM算法的用户行为认证方法

为提高手机安全性,提出一种基于SVM的用户操作行为认证方法.通过监听手机触摸屏设备,持续获取用户操作时的滑动轨迹、接触面积等原始数据.设计用户行为特征提取算法以建立用户特征样本,经SVM算法加以训练形成用户行为特征模型;综合用户访问目标及历史认证结果采用不同认证策略,达到重点保护敏感数据,方便用户访问非敏感数据的效果.在Android系统环境下的实验验证表明,该方法具有良好的认证效果.     

Exploration on the Integration of CAD Course and National CAD Grade Certification Training

Based on the syllabus and standard of National CAD Grade Certification issued by the Ministry of Education and China Figure Association, this paper discusses the teaching model of combining classroom teaching with skill grade certification in voca- tional college. To achieve the unity of classroom teaching and skill training can save training costs and increase the significance of classroom teaching. Implementation of integrating mechanical CAD curriculum and national CAD grade certification training is the extension of teaching reform. It can make the vocational college students obtain the professional qualification certificates besides di-plomas.     

国外水电发展概况及对我国水电发展的启示(七)——瑞士大坝安全管理与绿色水电认证

瑞士的大坝安全管理处于国际先进水平。本文首先介绍了瑞士的大坝安全管理体制和综合的大坝安全管理模式。另外,本文介绍了绿色水电认证在瑞士的发展与应用情况。实践证明,瑞士的综合大坝安全管理模式与绿色水电认证制度,在大坝与水电站工程管理中发挥了非常重要的作用,也取得了非常良好的效果。     

两种P2P模型比较与研究

本文介绍了P2P的工作原理及几个典型,着重分析比较了基于超级节点的和基于区域划分结构的两种P2P模型的特性,最后提出自己的观点。     

证券投资交易系统技术实现中若干问题的研究

文章给出了一个证券交易与信托投资系统的网络结构框架和技术实现方法,并针对该类系统技术实现过程中所面临的一些关键性技术问题进行了研究与探讨,给出了相应的解决方案。这些问题与解决方案对于基于Internet的证券交易系统以及信托投资管理系统也具有一定意义。     

城市防洪泵站振动测试技术探析

为对城市防洪泵站运行中异常、连续的振动进行测试,为泵站维修前后的振动提供对比数据,安装振动测试系统。分析泵站振动变送器的原理、选型,介绍测试系统的组成原理,阐述振动测试系统的安装及注意事项,以及测试系统的校准方法。振动测试系统投入运行几个月来采集的数据,对振动工况的判断、水泵和电机的运行性能,以及维修前后的振动情况对比提供支持,达到了预期目的。     

基于硬件特征信息嵌入认证的软件保护

为了既方便软件开发、降低成本,又便于软件保护、维护权益人的利益,研究了软件保护的常用技术和方法,结合软件工程的具体实践,提出了基于硬件特征信息嵌入认证的软件保护方法.该方法的主要特点是利用用户计算机系统的硬件特征信息,采用特征信息嵌入法,通过对当前计算机特征信息与已认证特征信息表中的信息进行比对,实现基于认证的软件保护;同时使用有效的加密算法,进一步提高软件保护强度.实验结果表明,该方法设计简单、成本低、通用性强、保护强度高,是软件保护的有效方法.     

美国UL484《房间空调器安全标准》的探讨

本文说明了在使用UL484《房间空调器安全标准》时应特别注意的诸如产品结构设计、材料使用和元件选择等问题,同时比照空调器国家安全标准进行讨论。文章列举UL标准中有特色的试验作为论据,如“温度压力试验”以及与IEC335-2-40的一些差异。