主动安全技术发展综述

Proactive security provides a method for maintaining the overall security of a system,even when individual components are repeatedly broken into and controlled by an attacker.Proactive security is a non-trivial extension of (t 1,n)-threshold cryptosystems,where shares are periodically renewed (without changing the secret) in such a way that information gained by the adversary in one time period is useless for attacking the secret after the shares are renewed.In this paper,we describe the proactive approach and review some basic technologies.We also report the problems need to be study.     

主动安全技术研究

一、引言为保证数据的安全,密码学提供了一系列安全手段。然而,针对密码学安全机制的最常见的攻击不是通过分析密码来破译密文,而是进行系统攻击。一旦获得系统控制权,密码学中的密钥对攻击者就变成了公开信息。在现实世界里,系统攻击容易进行,是攻击者大量使用的攻击手段。在计算机网络中引入一种入侵检测机制,能有效地侦测入侵行为,提醒管理员及时发现入侵并恢复对主机的控制权。这样还能及时发现安全漏洞,增强安全性。然而,攻击者通常都是尽可能地避免被侦测到,哪怕是为此而放弃对主机的控制。入侵检测技术本身对数据的安全性并没有改善,而且如果攻击者在被侦测到之前就已经成功地控制了主机,仍然可能将秘密窃取走。     

CORBA安全参考模型

ＣＯＲＢＡ是一种面向对象的分布式计算技术,安全服务是ＣＯＲＢＡ的一项重要公共对象服务。简要介绍了ＣＯＲＢＡ安全服务,着重讨论了ＣＯＲＢＡ安全的安全参考模型,对认证,安全联系,访问控制,代理,审计,安全策略,域等概念进行了解释。     

商场饮料瓶回收与导航服务机器人

基于环卫、经济、快捷、创新的理念,针对商场领域对于服务机器人的需求,文章设计了一种商场饮料瓶回收与导航服务机器人。该智能服务机器人不仅具有饮料瓶回收返积分、定位导航、人机交互、远程监控并存储与分析等功能,还具有绿色、节能、环保等特点,同时给予人们愉快的购物体验,具有巨大的市场前景。     

断路器远程温度监控器的设计

为了减少断路器使用中因温升过高引起的故障,设计了一种具有无接触的温度采样、温升显示、超温升报警、断路器远程控制等特点的智能控制器,采用M430F5436A单片机实现主控与通信功能,红外温度传感器实现对断路器温度检测,继电器实现对断路器控制。经试验与现场配柜运行,该自动控制系统很好地实现了对断路器温度的监测与控制。     

离心泵机械密封的失效分析及改造

YID100-80-200型离心泵在使用过程中,普通双端面机械密封频繁出现失效泄露的问题。通过对密封失效原因的分析,在泵不换型前提下,采用集装式机械密封替代原有的双端面机械密封。实际生产运行过程证明了改造的有效性。     

地下室外墙结构设计初探

近年来．高层建筑地下室空间的利用日益重要，除作为停车场及设备用房使用外，有些还要求作为防空地下室使用，因此．地下室外墙除满足承载力计算要求外，还应满足正常使用状态下的使用要求。本文试就地下室外墙结构设计中的一些问题作如下探讨，以供同行在设计中参考。     

钢筋混凝土L形板设计初探

随着建筑多样化的发展，楼盖的形式日趋复杂。在住宅建筑中，客厅与餐厅经常连在一起构成一个L形空间。以往常规做法是在客厅与餐厅的连接处做一根钢筋混凝土梁，将两者分隔成两块相对独立的矩形板。随着人们生活质量的提高，有些住户要求将该混凝土梁取消，从而形成一个完整的空间，方便使用。本文结合工程实例，谈谈对这种L形板设计方法的一些认识。     

CORBA系统中请求级截获器的设计与实现

首先介绍了截获器的基本概念和要解决的具体问题，说明其设计原则，然后围绕截获点介绍了请求级截获器的具体实现方案。     

InforSIB事件代数的形式化框架与代数性质

复合事件处理系统多节点处以及系统外部生成的大量的、连续到达的事件,通过规则匹配、推理等方法对事件模式进行检测,连续输出经过组合后的复合事件,以触发相应的后继处理。事件查询语言是规约事件模式的声明性语言,事件代数决定了事件查询语言的表达能力,同时也间接影响了事件检测的性能。因此,在权衡检测性能与事件查询语言的表达能力时,深入分析事件代数是非常重要的手段。基于White事件代数,扩展了事件代数的形式化框架,在形式化框架中考虑复合事件在更精细的时间关系下的语义定义,以增强事件代数的表达能力,同时考虑与应用相关的事件选择和消费策略-上下文策略,以提高事件检测的性能。讨论了InforSIB事件代数的代数性质,提出的上下文策略非常适合用于实时监控等领域,且具有良好的代数性质,保证了复合事件检测的时间和空间复杂度是有界的。