辫子群上新的难解问题及其密码学应用研究

利用Shor,Boneh和Lipton等的量子算法不仅可以在多项式时间内分解大整数,还可以有效解决离散对数和椭圆曲线上的离散对数问题,传统的基于这三类难解问题的公钥密码系统在量子计算机时代将变得不再安全．辫子群是一类较适合构造抵抗量子密码分析的计算平台,但目前基于辫子群的公钥密码系统所凭借的难解问题都得到了一定程度的解决．两类新的难解问题是根据P次方根问题的难解性和线性表示攻击提出的．在此基础上构造了一个新的密钥协商协议,分析了协议的安全性,给出了参数选择建议和理由．新的密钥协商协议可以抵抗目前已知的各种攻击．     

面向细粒度XML文档的BIBA严格完整性策略扩展

本文对细粒度XML文档上的BIBA严格完整性策略进行了研究。通过对XML文档的结构约束进行分析,建立了XML文档上的完整性约束规则,从而将BIBA严格完整性策略扩展到了XML文档上;建立一个包含完整性属性的XML文档模型,对XML文档的结构特点进行了分析;提出了完整性标签传播规则,以支持部分标记完整性的XML文档;最后对完整性策略的实现机制进行了讨论。     

BLP模型主体敏感标记动态调整方案及其正确性证明

介绍了一个增强的强制存取控制模型，并进行了安全性证明，该模型对传统BLP模型的主体敏感标记标志进行了扩充，将读写敏感标记分开为分离的权限区间．实际运行时．主体根据客体的敏感标记和主体的历史访问过程．根据一定的策略在读写区间内分别动态调整改变主体的当前读、写敏感标记．该改进方案可以提高BLP模型的灵活性和实用性．     

多主体多方向的可管理使用控制模型研究

在高度动态的分布式环境下,传统单方向的访问控制已经不能为系统提供足够的可信赖性。本文分析了多种主体之间的相互关系,针对隐私保护问题提出了可管理的使用控制模型。该模型能够解决多种主体之间的并行控制、系列控制和使用控制问题。本文还对实现AUCON的安全体系结构和相关的安全机制进行了细致的描述。分层的方法可以为解
决问题提供一个完整而高效的安全解决方案。     

激光成像雷达扫描性能的检测精度

为实现对激光成像雷达扫描系统性能的高精度检测,完成了激光束扫描性能检测设备的研制.对该设备的检测精度进行了分析,着重研究了提高设备检测精度的方法,根据检测设备的检测原理和使用特点,提出了在数据处理环节校正光学系统畸变和利用二次成像法精确测量光学系统焦距的方法,使检测设备对扫描角的检测精度提高一个量级,实验及分析结果表明:采用上述改善精度方法后,该设备对扫描角的检测精度可以达到1.2 mrad.改进的设备可以对扫描成像激光雷达的扫描系统性能作高精度的检测.     

基于图像处理的烧结质量在线检测系统设计

针对传统烧结质量检测方法存在的不足，设计一种基于图像处理的烧结质量在线检测系统。首先，分析系统结构与功能；其次，详细阐述系统软硬件结构设计；最后，进行实验分析。实验结果表明，该系统具有较高的检测精度和实用性。     

矿用双电机双轴驱动铰接车辆转矩协调控制

双电机双轴驱动(front and rear axle independent drive,FRID)可以解决煤矿无轨辅助运输重型车辆排布困难和动力不足等问题,但该结构方式的驱动、制动性能的提升受到转矩分配策略的约束,如何实现双电机转矩协调控制是研究该类问题的重点和难点.针对矿用FRID铰接车辆的驱动转矩分配问题,为提...     

多孔碳材料的制备及其在锂离子电池中的应用

利用溶剂热法,将前驱体ZIF-8通过高温在氮气保护的气氛下进行碳化,得到高比表面积的多孔碳材料.通过X射线衍射仪分析材料的物相,比表面积分析仪检测材料的比表面积和吸脱附情况,用扫描电镜来观察材料的微观形貌;最后,对多孔碳材料在锂离子电池中的电化学性能进行了测试,0.1C条件下测得的比容量为284.61 mAh/g,且循...     

一个用于授权传递的改进Bell－La Padula模型

本文简要介绍用于安全计算机系统的Ｂｅｌｌ－ＬａＰａｄｕｌａ模型．针对数据库系统中授权的可传递性，提出了一个基于Ｂｅｌｌ－ＬａＰａｄｕｌａ模型的改进模型．改进模型对原模型的元素进行了扩充，对原模型的系统状态、公理及状态转换规则进行了改造，并给出和证明了其主要的结论．