安全策略模型相关论文
BLP模型、Biba模型以及当前流行的基于角色访问控制RBAC等模型,或者只关注信息安全的部分方面,或者适用范围有限.文章以RBAC模型为......
形式化开发安全保证技术是高安全等级操作系统的关键技术难点,国内尚未见相关研究成果,论文围绕高安全等级操作系统开发的整个生命周......
网格技术的发展,为信息资源的共享提供了更加完善的手段,企业在信息资源共享的同时也要阻止非授权用户对企业敏感信息的访问。访问......
针对校园网环境的应用实际,设计建构一种基于监测系统的网络安全防护体系,采用分布式体系结构,结合网络层次结构,充分利用诸如VLAN......
安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种......
针对TCP/IP协议的缺陷,提出了一种数据链路层上的安全策略模型.在该模型中建立了一条可扩展的"安全信道",用不可预知的随机序列代......
针对校园网环境的应用实际,设计建构一种基于监测系统的网络安全防护体系.采用分布式体系结构,结合网络层次结构,充分利用诸如VLAN、AC......
首先分析Linux系统中两种主要安全机制的局限性.然后,给出SECIMOS的构建,简介了各个安全策略模型及其实现模块,并描述结合多个安全模块......
在基于安全评估标准的安全数据库管理系统(Security Database Management System,SDBMS)的安全功能测评中,存在的困难问题之一就是缺乏......
为解决LSM在策略重用和策略共存方面存在的问题,提出了一个新的安全体系结构ELSM,它引入一个模型组合器作为主模块实施模块堆栈管......
首先讨论了人们常常遇到的一些重要的安全问题.从软件配置管理(SCM)着手研究和支持解决这些问题,将会是一个十分有效的途径.论文在......
为了应用多级安全策略,阻止信息流向不受信任的目的地,将BLP模型完整性增强的安全策略扩展到多级安全网络中.基于信息流的强制访问控......
实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试......
2防御信息战上一章中列举了各种进攻方式.本章将概括地介绍保护信息基础设施的各种防御手段,防御信息作战被称为"信息保障".......
形式化是开发高安全等级计算机系统的核心技术之一,但目前形式开发方法无法直接借助于机器证明获得较之手工证明更加严格的安全策......
目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的......
当前,操作系统的安全需求越来越多样、灵活和具体,它们往往只描述系统中一小部分实体之间的约束,但对安全策略的灵活性及定制的简......
随着互联网的全球化,网络安全隐患呈专业化态势。为强化运营商网络安全领域管控力度,针对运营商安全管理平台提出一种基于PDCA及全......
安全策略和安全策略模型是开发安全产品和构建安全系统的基础和前提。基于Clark-Wilson完整性安全策略的商务安全策略是一种适用于......
信息技术和互联网技术的迅猛发展在给人们带来了生活方便的同时也引入了众多的安全问题,比如众所周知的计算机病毒、黑客攻击等。......
一、概述信息安全等级保护制度是国家在国民经济和社会信息化的发展过程中,提高信息安全保障能力和水平,维护国家安全、社会稳定和......
高等级安全操作系统测评方法研究是较新的研究课题,尚没有系统而完整的研究文献。随着我国高等级安全操作系统研究与实践的不断发展......
自从出现嵌入式操作系统以来,嵌入式操作系统的安全模型设计,一直都是理论研究以及工程应用的热点之一。虽然技术在逐步进步,但是因为......
鉴于不同应用的传感器网络对安全的需求不同,运用风险评估方法对不同应用的传感器网络定量计算安全需求等级,并建立基于需求等级的......