新疆风区大风监控预警系统研究

新疆地区由于特殊的地理、气候环境,以及人为破坏自然环境造成植被减少等原因,容易形成大风自然灾害,给居民的生产生活造成了严重影响和巨大损失,因此在新疆风区建立大风监控预警系统至关重要。在分析新疆大风形成原因的基础上,利用监控系统,给出了新疆大风监测与预警的设计方案,以提高新疆风区大风监测和预警的能力。     

高校专业课程专题模块化教学模式初探

以“山东半岛经济社会发展概论”课程为例，总结了将模块化教学方法在“山东半岛经济社会发展概论”课的教学流程。     

美国电子政务信息安全指标体系

在美国等西方发达国家的信息安全建设中,关键基础设施安全始终是重中之重。但是,由于绝大多数关键基础设施不由政府所控制,这些国家多次强调要使政府自身信息安全成为全国各部门、各行业信息安全的榜样,以此带动关键基础设施领域的信息安全工作。因此,大力发展电子政务,确保电子政务安全,已经成为西方发达国家政府日常运转中的重要任务。那么,“榜样”究竟表现如何?2006年3月16日,依据最新的电子政务信息安全指标体系,美国众议院政府改革委员会发布了 2005财年联邦政府各部门信息安全评分结果。在24个被考察的政府部门中,正可谓“几家欢喜几家愁”。     

基于Xen虚拟化的隐藏进程检测方法

恶意进程利用Rootkit使自己具有极强的隐蔽性.传统的隐藏进程检测工具部署在被检测系统中,容易受到攻击.为提高检测系统的抗攻击性和准确性,提出了一种虚拟环境下特征匹配的隐藏进程检测系统.该系统部署在被监控虚拟机外部,自调整检测频率扫描计算机内存来获取进程相关信息,并通过与预先构建好的特征模板进行相似度匹配,达到检测隐藏进程的目的.实验结果表明,该检测系统可以有效地检测出典型的Rootkit代码,确定隐藏进程的存在.     

云存储环境下属性基加密综述*

属性基加密作为一种新型的密码方案,将用户私钥和密文与属性相关联,为解决云存储环境下数据安全共享、细粒度访问控制和安全存储等问题提供了一种解决思路。在对密钥策略属性基加密、密文策略属性基加密和混合策略属性基加密深入研究后,根据不同的功能扩展,针对隐藏访问结构、多授权机构、复杂计算安全外包、可搜索加密机制、属性撤销、叛徒追踪等重点难点问题进行了深入探讨研究。最后总结了现有研究工作的不足,并指出了未来的研究方向。     

Xen混合多策略模型的设计与形式化验证

Xen作为一种虚拟化工具因开源、高效等特点而受到越来越多的关注。作为Xen安全的基础,XSM决定了其安全性。原生XSM没有对系统资源进行安全分级,并且以虚拟机为管理对象使得Dom0作为一个唯一管理域不符合最小特权,文中设计了一种混合多策略模型SV_HMPMD。在该模型中,针对BLP引入多级安全标签,从而增加BLP的实用性,并通过DTE和RBAC对特权进行更细致的划分,从而对Dom0特权进行合理限制。提出了一种分层模型,利用该模型对混合模型进行形式化的描述。运用系统不变量构造访问规则的安全属性需求,通过Isabelle/HOL对模型设计与安全需求的一致性进行验证。     

分布式网络系统中的信任研究

目前在因特网中没有可靠的信任体系,如何在一个分布的、混乱的因特网环境中有效地表达和管理信任关系已成为一个研究热点。该文研究信任的定义、信任的逻辑模型,分析分布式网络系统中信任度评估模型、信任模型和信任管理,提出目前分布式网络系统中信任管理存在的问题。     

可编程器件应用中应注意的问题

随着可编程器件生产和应用技术的发展,可编程器件在专用嵌入式计算机系统中得到越来越广泛的应用,可编程器件因其自身的特点,在提高系统的可靠性和系统的保密性,简化系统设计并缩短研制周期等方面正在发挥更大的作用,但是因可编程器件与以往的标准逻辑芯片相比有其特殊之处,如果没有注意到这些不同点,则会给系统的调试和验证工作带来不必要的麻烦。本文结合自己的工作经验,就一些设计中应注意的问题进行讨论并给出相应的解决办法。