【摘 要】
:
介绍了一种研究系统特权安全问题的方法.由于其特有的迁移系统安全状态的能力,使得分析及保护系统特权都很困难,因此,传统访问控制研究中所采用的技术无法复制到该领域.在访问控制
【机 构】
:
中国科学院软件研究所基础软件国家工程研究中心,中国科学院软件研究所信息安全技术工程研究中心,北京大学软件与微电子学院,北京中科安胜信息技术有限公司,中国科学院研究生院
论文部分内容阅读
介绍了一种研究系统特权安全问题的方法.由于其特有的迁移系统安全状态的能力,使得分析及保护系统特权都很困难,因此,传统访问控制研究中所采用的技术无法复制到该领域.在访问控制空间理论下,检查了系统特权的来源问题及其特点,从而将系统规则划分为约束规则与执行规则两类,分别描述授权的限制与效果.进一步对规则逻辑形式进行推导,发现特权操作间的特殊授权关系以及相关属性,并设计了一种快速构造授权推导图的算法.在此基础上,分析隐式授权安全问题可能存在的滥用特权威胁.最后对POSIX(portable operating s
其他文献
随着营业税改征增值税在全国范围内全面推开试点,越来越多的高等学校成为"营改增"试点。分析高等学校在财务实际工作中存在的问题,高等学校应对"营改增",设置会计科目;整合纳税体
8月19日,杭州市四季青服装特色街区“中国服装第一街”与合肥市新站区站前路“安徽服饰第一街”将零距离接触,双方代表四季青服装特色街区管委会,合肥新站区管委会在合肥市最高
<正> 在商品经济浪潮的冲击下,传统的纺织工业也发生了很大的变化.各纺织厂都在结合本厂的实际情况进行了一系列的改革,改造老设备,引进国际先进设备,其主要目的无外乎是搞活
提出了一种基于方向性天线的分布式拓扑控制算法,可以同时通过调整网络中各节点的发射功率和改变节点天线的方向来对网络的拓扑进行控制,每个节点逐渐增大它的发射功率直到该
现代服装接面料生产工艺可分为梭织、针织、裘皮皮革和无纺织物四大体系.按照传统的观念,针织面料由于是线圈结构,尺寸不够稳定,还有一定脱散性,面料性能不易把握,因此我国长
<正> 我厂为了开拓国内外市场,生产市场上适销对路的特宽幅高密织物,以提高产品档次和经济效益,分两批从比利时进口了毕加诺PAT-A280喷气织机57台,分别在1993年2月和1994年2
<正>涂层加工是纺织材料改性的重要工艺加工过程之一,更是非织造布产品精加工后整理重要的一种方法。非织造布的基布经过涂层可制成各种有显著特点的最终用途的产品,被广泛地
内蒙古东部地区资源丰富,但生态环境状况面临着严峻的形势。该地区资源开发与生态环境发展面临一引些问题,治理的建议是:加强各盟市之间的协调;应尽快淘汰高耗能、高污染、低
森林公园不仅是保护森林资源和生态环境的一个重要场所,也是现代人旅游出行的一种空间选择。现在以山西省137处森林公园为研究对象,分析了森林公园的空间分布类型,其中包括市域数量结构;市域密度分析;空间分布类型;与中心城市的距离分析,并运用Arc GIS空间分析法得出了结论。
目的对照分析儿童哮喘急性发作的危险因素,为临床诊治提供依据。方法选择支气管哮喘患儿137例作为观察组与同期门诊113例健康体检患儿作为对照组,对两组资料进行对比分析,寻