安全操作系统中制定安全策略的研究

本文在对Bell-LaPadula模型进行深入分析的基础上，提出了在某些Linux和UNIX安全操作系统设计中对Bell-LaPadula模型的一种错误理解，并结合实际生活中的安全操作对模型进行分析，并给出了模型的形式化操作规则和保密性证明，表明该模型完全符合保密性要求，从而纠正了安全策略的错误制订，避免造成系统的失泄密。     

PKI技术在电子政务中的应用

分析了美国政府在PKI（Public Key Infrastructure)行动中所取得的进展，阐述了在电子政务中推广PKI技术将面临的种种困难，并由此对PKI技术在我国电子政务中的应用发表了一些看法和建议。     

安全操作系统发民兵现状对策

1、引言 操作系统是应用软件同系统硬件的接口,其目标是高效地、最大限度地、合理地使用计算机资源.若没有安全操作系统的支持,数据库就不可能具有存取控制的安全可信性,就不可能有网络系统的安全性,也不可能有应用软件信息处理的安全性.因此,安全操作系统是整个信息系统安全的基础.     

操作系统安全结构框架中应用类通信安全模型的研究

经典的BLP模型是解决保密性问题的理论基础，Biba模型是一种简明易实现的完整性模型．在应用系统中数据的共享和安全是一对矛盾．在将应用系统抽象为应用类的基础上，引入完整性规则集代表信息的可信度，结合BLP模型和Biba模型构造了一种应用类通信的安全模型，并给出了模型的形式化描述和正确性证明．应用类通信安全模型不仅解决了保密性问题，而且解决了完整性问题．以支持B／S文电传输应用系统的安全为例，给出了在操作系统中实现应用类通信安全模型的方法，分析了模型实现的有效性．     

基于操作系统安全的TCP/IP访问控制框架

提出了一种支持应用类安全的操作系统安全结构框架。在此框架的基础上抽象出TCP／IP协议的各层应用类,并定义了各层应用类的安全属性赋值规则和访问控制规则,建立了一个操作系统安全支持的TCP／1P访问控制框架。     

动态Web页面的制作技巧

随着Internet应用的飞速发展,主页已不再仅仅是一个企业的信息窗口,公司的许多业务都可以通过Internet来实现,比如客户可以通过供应商的主页来订货,公司可以通过自已的主页收集客户的反馈信息等。另一方面,随着公司业务的发展、地理分布的拓宽,在总公司与各子公司之间建立一个简单的局域网已不可能,这时可通过Internet来实现各子公司与总公司之间的业务处理,即采用目前较为流行的企业应用解决方案NCA结构和0客户端解决方案来实现。因此,     

用DHTML在Web页面实现多媒体显示效果

DHTML的全称为动态HTML(Dynamic HTML),它是IE4.0上增加的一个新特性,通过它可以动态地改变Web页面上各元素的位置、内容及显示风格,尤其是可以像在Photoshop中一样对图像动态地实施滤镜(Filter)及转换(Transition),从而使Web页面表现出多媒体风格的显示效果。它具有如下几个特点: 高效 所有这些DHTML代码都是在浏览器上解释执行,避免了频繁地与服务器打交道,减少了网络传输量。     

面向虚拟化技术的可信计算平台研究

虚拟化技术的广泛运用为新型计算环境带来了新的安全威胁和挑战,如何通过增强虚拟机的安全性保障云服务的安全,是目前亟需解决的问题。文章一方面研究虚拟化技术如何对可信计算平台提供支撑,另一方面研究可信计算平台如何为虚拟化技术提供安全保障服务。通过构建基于可信计算的虚拟化安全架构,对面向虚拟化的可信计算平台关键技术进行分析和研究,能够较好地解决虚拟化带来的新安全问题。     

美军GIG信息安全保障现状分析

随着美军从工业时代军队向信息时代军队的转变,发展和完善全球信息栅格系统(GIG)可以为美军提供一个以网络为中心的作战环境。文中通过研究美军GIG体系架构与信息安全保障之间的关系,分析了GIG信息安全保障的5个关键因素,并简要介绍了与GIG同期发展的美军密码现代化计划,对我军信息化条件下的信息安全保障建设具有重要的借鉴意义。     

汽车液压离合器助力器自动测试系统

本文是围绕汽车离合器助力器综合性能自动测试系统的开发而展开的。该测试系统是基于欧姆龙PLc的机电一体化的自动测试系统。在系统的设计中采用了虚拟仪器的思想,以软件为核心,用软件将计算机与功能模块硬件结合起来。用户通过友好的图形用户界面操作计算机来控制各功能模块,实现工况转换,自动完成数据采集、性能曲线显示、处理分析、数据保存、报表打印等。