基于强制访问控制的电子军务模型

在军队信息化建设过程中,电子军务的实现是至关重要的.其中军务中信息不泄漏、不破坏是亟待解决的问题,文中提出了一种基于强制访问控制的电子军务模型,此模型针对这些问题提出了解决方法.     

3G视频会议系统中的ECC快速算法研究

3G视频会议系统由于受到无线网络开放性的限制,难以满足行业客户的特殊安全需求。现有3G视频会议系统的加密存在着诸多技术困难,其一就是常规加密算法对硬件要求高,时延较大。ECC加密算法可以较好地适应3G视频终端设备的要求,是一种可行的加密算法。针对此应用对ECC算法做进一步的优化能更好地适应3G视频会议系统终端的需求。文章提出了一种基于ECC的快速算法,经证明可以有效降低资源需求,提高速度,达到应用要求。     

一种模糊BLP模型

BLP模型是一种适用于军事安全策略的计算机系统安全模型,基于模糊逻辑方法对经典BLP模型进行改进,提出了一种模糊BLP模型(FBLP),证明了该模型的安全性。它适用于商用计算机系统安全建模,在安全电子政务、电子商务等领域会有广泛应用。     

基于智能体的软件工程在应用中的特点

Agent(智能体)具有自主性、社会性、可推理性和适应性等特点。目前已被应用于很多领域。将其引入到软件工程领域被认为是软件工程领域的一次新的革命。本文在讨论了智能体的特点及多智能体系统的基础上，着重举例总结了基于智能体的软件工程在进行软件开发过程中的特点。     

一种动态约束的Clark-Wilson模型

Clark-Wilson模型是一种广泛应用于商务领域的信息安全模型,能够较好满足企业信息系统所追求的完整性安全需求,它的完整性保证在早期是通过遵循一些静态的授权约束来实现的.这种方式随着现代商务领域业务多方位多层次发展,越来越显现出其局限性.该文提出一种支持动态约束的Clark-Wil son模型,并进一步对该模型的良构事务和职责分离规则进行了描述.