虚拟可信平台层次化安全体系结构设计

针对虚拟化技术给计算平台带来的一些新的安全问题,提出一种以虚拟机应用安全为核心的虚拟可信计算平台安全体系结构,为计算平台建立一种层次化的可信计算基(TCB):由硬件信任根TPM/TCM支持、可信虚拟机监控器(TVMM)以及安全管理器(SM)由底至上3个层次共同组成.基于开源XEN,设计了一种可保证虚拟机(VM s)及其应用安全的虚拟可信平台实例,它支持远程证实、信息流控制、安全迁移和私密性保护等安全机制.分析结果表明,实例系统可灵活支持其上虚拟机应用实现不同安全目标.     

高压开关视频监控系统的研制

介绍了一种应用于高压开关的动态视频图像监控系统,该系统针对高压开关的结构特点及运行特性而专门设计,采用高速红外摄像技术,能够实时监控高压开关内部的高速清晰图像,可对视频图像进行长时间的录像、跟踪、分析、鉴别。该摄像监控系统将在保障电力系统的安全稳定运行、提高电力系统的自动化调度及维护水平方面发挥重要作用。     

基于VxWorks的1553B驱动设计技术

介绍了1553B总线技术,分析了这种时分制指令／响应式多路传输数据总线的工作原理和主要特点,提出了基于VxWorks系统的1553B接口卡的驱动程序设计方法,在此基础上介绍了VxWorks下开发总线控制器（BC）、远程终端（RT）、总线监控器（MT）等驱动程序的方法。     

基于Tapestry系统的DDoS攻击研究

P2P网络有着容易发生DDoS攻击的天然劣势,Tapestry系统中攻击者可以利用热点监控器和资源定位指针列表及邻居映射表的软状态维护机制在覆盖层发起DDoS攻击.认证技术可以有效地识别出攻击者伪造的消息,避免资源定位指针列表和邻居映射表受到污染,从而预防了DDoS攻击的发生.     

服务器虚拟化安全机制研究

服务器虚拟化技术立足于操作系统和CPU提供的权限控制,由工作在底层的虚拟机监控器为客户机提供资源的实时监控、授权访问、追踪审计等安全功能;同时虚拟机监控器自身采用可信计算技术,实现动态的可信认证;配合其他安全策略规划,服务器虚拟化为客户机提供更好的私密性和完整性保护.     

面向云计算的虚拟机动态迁移框架

根据云计算平台的特点,提出一种新型虚拟机动态迁移框架,并在Xen和KVM这2种典型的开源虚拟机监控器基础上,实现原型系统。测试结果表明,在不同类型计算资源的环境下,该动态迁移框架具有良好的性能,能够对动态迁移进行实时控制,从而满足服务等级协议的要求。     

面向参数化LTL的预测监控器构造技术

介绍了一种基于自动机理论的参数化LTL(parameterized LTL(linear temporal logic),简称P_ALTL)公式运行时预测监控器构造方法.一方面研究P_ALTL公式的语法、预测语义、赋值提取以及赋值绑定等重要概念,从语法层面保证公式中参数化变量的正确绑定(binding)和使用(using);另一方面给出参数化预测监控器的概念.它由静态和动态两部分组成,静态部分由参数化Büchi自动机表示,动态部分为当前状态处的变量赋值.在系统运行过程中,预测监控器基于静态部分的参数化Büchi自动机,以on-the-fly的方式在当前状态处动态地提取和绑定变量赋值,递进地验证当前程序运行是否满足指定的参数化性质规约.在该过程中,参数化监控器能够精确地识别被验证性质的最小好/坏前缀.     

基于监控器时间开销的虚拟机发现方法

针对传统方法只能发现单一类型虚拟机的缺陷,提出基于虚拟机监控器时间开销的虚拟机发现方法。特定指令能使监控器运行时产生显著的额外开销,该方法能利用监控器执行不同指令序列产生的相对时间开销对虚拟机进行判别。实验结果表明,该方法能够准确发现目前3类主流虚拟机。     

网络幽狗确保局域网安全运转

局域网的安全监控问题一直令很多网管非常头疼：时常出现网络运行缓慢、打不开网页、IP地址冲突等问题,严重的甚至造成局域网瘫痪,那么到底是什么原因导致的呢？到底是哪个或者哪些员工在“搞鬼”呢？单位不可能对员工监视或者逐一排查,那么应该采用什么办法来解决这个问题呢？其实借助网络幽狗监控器,就能轻松监控局域网的一举一动,既保证局域网的畅通高效,又能确保局域网安全运转。     

Intersil推出低功耗电压监控器

Intersil公司推出ISL88001／2／3超低功耗三引线电压监控器系列,其超低功耗特性尤其适用于由电池供电的便携式系统中。ISL88001／2／3系列器件可提供精度为±1．2％的严紧电压阈值,以实现可靠的复位以及十1．8V或＋5V电源的准确监控。200111S上电复位超时功能可进一步肪止应用中的错误复位。