一个安全操作系统的通用审计框架

来源 :计算机科学 | 被引量 : 0次 | 上传用户：love527351314

【摘要】

：

本文首先介绍了审计的基本概念和本文所描述工作所基于的项目背景.然后切入本文的重点--一个按照POSIX1003.le标准,通用的安全操作系统审计框架的设计工作,以及此框架按照GB

【作者】

：

夏耐茅兵谢立

【机构】

：

南京大学软件新技术国家重点实验室

【出处】

：

计算机科学

【发表日期】

：

2004年7期

【关键词】

：

安全操作系统通用审计框架 POSIX1003.1e标准日志主体客体事件相关信息 Secure operating system Audit Log S

【基金项目】

：

国家高技术研究发展计划(863计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文首先介绍了审计的基本概念和本文所描述工作所基于的项目背景.然后切入本文的重点--一个按照POSIX1003.le标准,通用的安全操作系统审计框架的设计工作,以及此框架按照GB 17859-1999第三级别要求在一个Linux安全增强的操作系统上的具体实现工作.同时本文比较了国内相似的工作,分析了整个审计框架的优点与不足,并展望了将来的工作.

其他文献

老年高血压脉压与颈动脉斑块、胆红素的关系

目的探讨老年高血压病患者动态脉压与颈动脉粥样硬化斑块、血清胆红素的关系。方法将120例老年原发性高血压病患者按照脉压的不同，分为3组：PP1组（脉压〈51mmHg，1mmHg=0．133kPa），PP2

期刊

老年高血压脉压动脉粥样硬化胆红素Aged Hypertension Pulse pressure Carotid atherosclero

用相场方法模拟镍的枝晶生长

采用相场模型,计算了纯镍的过冷熔液在凝固过程中的枝晶生长.在相场方程中,采用均匀网格的一般显示有限差分方法求解,通过数值模拟显示了枝晶的形貌,包括一次臂、二次臂,以及

期刊

镍相场方法枝晶生长数值模拟过冷溶液凝固微观组织phase field method dendritic growth numerical s

新型耐久超疏水墙面涂层的制备与性能评价

目的从改善建筑墙体环境的角度出发,制备既能实现墙面自清洁,又具备耐久性的超疏水涂层。方法将溶胶凝胶法制备得到的改性SiO2/硅藻土复合溶胶溶液与氟硅树脂乳液混合,喷涂在

期刊

硅藻土纳米SIO2氟硅树脂自清洁超疏水耐候性diatomiteSiO2 nanoparticlesfluorosilicone resinse

软件测试的规范化过程

本文在软件测试定义的基础上,从软件测试方法、软件测试过程、软件测试文档和软件测试工具四个方面说明软件测试的规范化过程,并用一个实例说明软件测试工具在软件测试规范化过程中的应用。

期刊

软件测试规范化软件开发计算机

30例重型颅脑损伤患者保守治疗的临床分析

目的分析30例重型颅脑损伤患者保守治疗过程,探讨救治方法。方法回顾2003-2007年重型颅脑损伤患者保守治疗病例30例,分析治疗方案和结果。结果30例患者通过治疗,28例恢复良好

期刊

重型颅脑损伤治疗高血糖Severe cranioeerebral injury Treatment Hyperglycaemia

基于泛逻辑的分形与混沌逻辑初探

人们对自然的看法正经历着一个根本性的改变,即转向多重性、暂时性和复杂性,混沌学与分形论则是研究此类非线性自然系统的新兴科学.本文分析了分形与混沌的基本特征及其与泛

期刊

泛逻辑分形逻辑混沌逻辑非线性科学Universal logic Fractal logic Chaos logic Nonlinear sc

支持向量机泛化能力估计若干方法

支持向量机性能很大程度上依赖于其参数,为了确定最优参数,往往需要估计所建模型的泛化能力.本文详细介绍了目前国外支持向量机的各种泛化能力估计方法,分析了各种泛化能力估

期刊

支持向量机泛化能力估计参数SLT理论Support vector machineGeneralization performance estimat

Web服务运行支撑环境的研究与实现

Web服务作为一种新型的应用集成技术在近几年中已成为分布式计算领域的热点.然而Web服务的开发,部署和管理问题没得到很好的解决.本文讨论了Web服务运行时环境的构造问题并提

期刊

WEB服务运行支撑环境分布对象分布式计算总线应用集成部署产品关键问题管理问题Web service runtime environment

行为抽象方法及其在设计模式中的应用

本文提出了一种新的面向对象设计方法,即行为抽象方法,分析了其原理、适用性和效果,给出了行为抽象的形式化定义,研究了行为抽象与众多设计模式之间的关系.

期刊

行为抽象方法效果关系分析适用性设计模式形式化定义面向对象设计Behaviour abstraction Formal definition

童言童话,智慧言语——浅谈幼儿语言表达能力发展的有效策略

发展幼儿语言能力,让幼儿自由的表达,是幼儿园重要的教育内容,也是幼儿步入社会,实现社会交往的重要媒介,对幼儿发展具有重要意义。但在实际教学中,教师的语言教育存在一些问

期刊

幼儿语言表达策略

一个安全操作系统的通用审计框架

与本文相关的学术论文