安全操作系统等级评测系统

来源 :计算机工程 | 被引量 : 0次 | 上传用户：guyueer83

【摘要】

：

操作系统安全性的测评是实现安全操作系统的一个极为重要的环节,如果不测评、验证所开发操作系统的安全性和该安全性的可信度,那么开发出的安全操作系统的安全性就没有任何保

【作者】

：

魏丕会卿斯汉黄建

【机构】

：

中国科学院软件研究所,中国科学院信息安全技术工程研究中心

【出处】

：

计算机工程

【发表日期】

：

2003年22期

【关键词】

：

评测系统安全操作系统安全等级量化 Evaluating systemSecure operating systemSecurity levelEvalua

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

操作系统安全性的测评是实现安全操作系统的一个极为重要的环节,如果不测评、验证所开发操作系统的安全性和该安全性的可信度,那么开发出的安全操作系统的安全性就没有任何保证.该文给出了一个自主设计的安全操作系统等级评测系统,能够对安全操作系统的安全级别进行半自动评测,也就是在操作员的参与下对操作系统的安全性等级进行量化.

其他文献

失效20G高压炉管热应力数值模拟

炉管是注汽锅炉重要的换热元件,它的安全运行意义重大。由于炉膛内温度分布不均匀,当瞬时温差较大时炉管局部会产生较大热应力。本文从热应力的角度对高压锅炉管爆管原因进行

期刊

热应力爆管数值模拟Ansys

基于图形识别的剪力墙标注方法

根据剪力墙施工图的特点，提出了基于图形形状识别的剪力墙尺寸标注方法。通过对剪力墙图形特点的分析，在现有图形识别方法的基础上，结合人工智能和模式识别在图形分析中的应用，提

期刊

图形识别剪力墙标记方法CAD模式识别建筑结构Shear-wall Dimension CAD Artificial intelligence Pat

多类问题中的特征提取

对多类问题中的“基于平均马氏距离特征提取”、“基于马氏距离特征提取”、和“基于最小错误概率上界特征提取”方法进行了分析和比较。证实了“基于最小错误概率上界特征提取”是目前可以用迭代算法完成的最好的特征提取, 而“基于马氏距离特征提取”在错误概率上界上升很小的代价下,简化了计算量,也是一种可行的方法。文中使用实际科研项目“小字集手写体特征提取”中的数据进行实验,当特征数从4下降到2时,基于平均马氏距

期刊

特征提取错误概率上界马氏距离巴氏距离多类问题模式识别点模式匹配方法Feather selectionUpper bound of error p

论鸦片战争时期的伊里布

伊里布在鸦片战争中是有影响的著名人物,他是清政府任命的钦差大臣负责筹办浙江沿海的海防与军事行动,根据自身实际情况,制定作战方针,促成浙江停战。被贬之后临危受命参与求

学位

鸦片战争伊里布浙江停战南京条约

Impact of a Low Severity Fire on Soil Organic Carbon and Nitrogen Characteristics in Japanese Cedar

Slash and burn practices are widely used around the globe with different degrees of success which are mostly related to the impact of fire on soil properties. I

期刊

HighPrecipitationJapaneseCedarForestSOILLOWSEVERITYFIREStableIsotopes

面向Linux的内核级代码复用攻击检测技术

近年来,代码复用攻击与防御成为安全领域研究的热点.内核级代码复用攻击使用内核自身代码绕过传统的防御机制.现有的代码复用攻击检测与防御方法多面向应用层代码复用攻击,忽

期刊

代码复用攻击内核控制流完整性插桩约束规则

Mechanical Properties of Small Clear Wood Specimens of <i>Pinus patula</i&g

Pinus patula is one of the major exotic species grown in Malawi mainly for saw-timber production. It is native to Mexico. Little has been reported about the mec

期刊

PINUSpatulaMODULUSofELASTICITYMODULUSofRuptureMalawiAir-DryDensityWOO

Quantifying Growth Responses of Black Spruce and Jack Pine to Thinning within the Context of Density

Models for quantifying the growth responses of black spruce (Picea mariana (Mill) BSP.) and jack pine (Pinus banksiana Lamb.) to precommercial thinning (PCT) tr

期刊

StructuralStandDENSITYManagementModelsHeightREPRESSIONPHENOTYPICJUVENILE

Pure and Mixed Plantations of <i>Eucalyptus camaldulensis</i>and &lt

Published results on the growth interactions of non-nitrogen fixing mixed plantations species, and their impact on the regeneration of woody plants are scant. T

期刊

DIVERSITYGrowthLIGHTMixedPLANTATIONPUREPLANTATIONWoodyPlantsDiversityGr

Generating Tree-Lists by Fusing Individual Tree Detection and Nearest Neighbor Imputation Using Airb

Individual tree detection (ITD) and the area-based approach (ABA) are combined to generate tree-lists using airborne LiDAR data. ITD based on the Canopy Height

期刊

Tree-ListGenerationIndividualTREEDETECTIONNearestNEIGHBORIMPUTATIONParam

安全操作系统等级评测系统

与本文相关的学术论文