保护私有信息的回归关系推断

回归关系推断是统计分析领域中的重要基础内容,其运算形式较为复杂,导致了安全解决方案的效率低下.为了解决安全双方模型下多元回归的统计推断问题,提出极大似然估计、残差平方和与总平方和的安全协议.并依据运算本身的特点,经过对共享矩阵连乘操作规律的数学分析,提出简化运算的方法,使得交互次数大幅减少.同时对其可应用领域进行了展望.     

支持策略隐藏的加密云存储访问控制机制

使用密码技术对云存储数据实施机密性保护和访问控制,是当前云计算安全研究的重要内容.选择加密(Selective Encryption)技术根据访问控制策略产生密钥推导图来分发密钥,在保证云存储数据机密性和细粒度访问控制的前提下,具有简化文件存储加密、系统密钥量少的优势.然而,已有选择加密方案需要完全或部分地公开访问控制策略,以用于密钥推导;该信息反映了用户/文件之间的授权访问关系,泄露用户隐私.基于现有的研究工作,本文提出了一个新的访问控制策略隐藏机制,在支持加密云存储数据的细粒度访问控制和高效密钥分发的前提下,能更好地隐藏访问控制策略信息;而且在密钥获取计算速度上有明显优势.     

基于Fluid的大规模带宽限制蠕虫仿真模型

在利用子网抽象技术的基础上,进一步针对带宽限制蠕虫高速扫描的特点,提出了一种基于Fluid的大规模带宽限制蠕虫仿真模型.通过Fluid仿真技术对蠕虫高速扫描产生的数据包进行抽象,降低其对仿真系统计算能力和存储能力的要求,进而提高仿真执行效率.仿真结果和数据包级仿真以及和实测数据的对比表明,该仿真模型可以在消耗较少资源的...     

TSS-BQS系统的Graceful Degradation机制

将门限签名方案分别应用于两种类型的BQS系统(Masking BQS系统和Dissemination BQS系统),可以得到两种TSS- BQS系统(文中称为TSS- mBQS系统和TSS- dBQS系统).TSS-mBQS系统的性能优于TSS- dBQS系统.由此,作者提出了TSS- BQS系统的Graceful Degradation机制:系统由n=3fd+1台服务器组成,在初始阶段以TSS-mBQS状态运行,容忍fm=[fd/2]台Byzantine失效服务器;随着系统运行,可能失效的服务器数量增大,则以降低性能为代价,切换到TSS- dBQS状态,容忍fd台Byzantine失效服务器.在不影响容错能力的前提下,Graceful Degradation机制提高了已有TSS- BQS系统的平均性能.文中完成的Graceful Degradation机制能够在不中断存储服务、不影响客户端的前提下完成状态切换,客户端也不需要知道系统的运行状态(处于TSS- mBQS或TSS- dBQS状态).     

BLAKE算法的硬件实现研究

随着对MD5和SHA1攻击方法的提出,美国国家标准技术研究所(NIST)组织启动了SHA-3的征集计划,目前已进入第3轮.BLAKE算法进入了最后一轮竞赛,文中首先综述了BLAKE算法从提交到目前为止在硬件评估方面的状况.在此基础上优化了BLAKE压缩函数在FPGA上实现的关键路径,并在FPGA平台上实现了BLAKE算法.和现有的BLAKE算法在FPGA上实现的吞吐率相比,文中实现结构的吞吐率又有提升.     

土工织物在滦南县海防工程中的应用

1.工程简介 滦南县海防工程位于渤海湾北侧,海岸线总长146km。海防工程是伴随沿海滩涂开发利用,为防御海潮袭击修建。为能充分保证沿海滩涂的经济开发和人民生命财产的安全,自1998年起,滦南县海堤建设开始大规模实施,使海防工程达到顶高4.45m、宽5.1m,     

利用虚拟卫星法求解火星探测器近火点制动策略

针对采用极大值原理求解火星探测器近火点制动最优推力策略时初值不易猜测、迭代不易收敛的问题,介绍并推导了虚拟卫星方法,即通过假想一颗虚拟卫星在目标轨道上运行,探测器利用最优控制算法求解推力策略,使探测器本身与虚拟卫星的终端相对位置和速度为零,从而实现了精确入轨.在利用极大值原理求解最优推力策略的过程中,共轭变量初值的选择问题得到了解决.利用虚拟卫星方法中的相对运动关系,可以将没有实际意义的共轭变量初值转化为具有物理意义或者较易猜测的变量进行初始估计,克服了共轭变量初值猜测的盲目性,使得迭代更容易收敛.仿真结果证明了该方法的有效性.     

具有落角约束的弹道导弹再入末制导律设计

针对弹道导弹再入段带有终端落角约束的末制导问题,本文基于最新发展起来的模型预测静态规划技术,设计一种既可以精确地打击地面目标、又可以满足终端碰撞角要求的非线性次优制导律．本文针对弹道导弹打击地面静止目标和机动目标等飞行场景进行了数值仿真,仿真结果表明:采用该制导律可以使在整个再入飞行场景中控制能量较小．与其他具有落角约束的制导律相比,该制导律并没有对非线性运动模型采用线性化的假设,且其计算复杂性明显低于基于最优控制的终端角约束制导律．     

基于CBC算法的瓦斯突出预测模型研究

人工蜂群(ABC)算法易陷入局部极小点,搜索精度不高且算法收敛速度慢。为此,提出一种改进的混沌蜜蜂群(CBC)算法,修改ABC算法的食物源位置更新公式,引入混沌搜索机制进行局部搜索。将CBC算法应用于瓦斯突出预测中,建立神经网络预测模型,实验结果证明了该模型的有效性。     

一种Web服务器安全机制的研究与实现

随着Internet的发展，针对WWW站点的入侵事件不断发生，现有的防火墙、IDS等设备都不能有效防止入侵者篡改网站中的网页等文件。文章提出了一种Web服务器安全机制，保证Web服务器在任何情况下，都不会将未经签名的文件（如网页、图片）发送到客户端，从而保征网站文件即便被篡改，也不会为客户端获得；同时也可以保障非公开的文件不能被客户端下载得到。该系统还可以及时作出恢复、告警等动作，以应对可能的入侵行为。