【摘 要】
：
针对基于状态控制的系统安全相关研究欠缺的问题,首先从访问控制的缺陷、状态控制的优势等方面讨论了研究的必要性和可行性;通过引入粗粒度文件、程序及具动态特征的函数等状
【机 构】
：
国防信息学院四系,湖北 武汉 430010
【出 处】
：
2013年第四届中国计算机学会服务计算学术会议
论文部分内容阅读
针对基于状态控制的系统安全相关研究欠缺的问题,首先从访问控制的缺陷、状态控制的优势等方面讨论了研究的必要性和可行性;通过引入粗粒度文件、程序及具动态特征的函数等状态,扩展了安全状态的定义;从信息流控制和状态对象控制的角度,提出状态取值空间、开放空间和操作空间的概念,并以此为出发点提出了状态的转换、操作、控制及检测等特征的分析方法.在此基础上,从以状态控制为目标和手段两个角度给出了其在系统安全增强及安全检测方面的应用思路.
其他文献
自2008年7月1日启用我国的CGCS2000大地坐标系以来,如何把西安1980坐标系下的成果转成CGCS2000大地坐标系成为难点.在院科研基金支持下,在深入研究CGCS2000国家大地坐标系与1
〖本刊讯〗 6月 17— 19日，建设部住宅与房地产业司在江苏省扬州市召开了“全国房地产权属与市场管理规范化、现代化现场会”。各省、自治区建委（建设厅）房地产处处长、市房地局
土地平整指通过拆迁、土方工程对土地表层状况进行改造,拆除建筑物、构筑物以及存在较明显的土地不同位置的高差,以达到后续施工的要求；在土地平整工程中土方量的计算又是核心
高分辨率影像数据、三维精细模型等海量地理数据产品的出现,虽然极大提高了地理信息服务的质量和水准,但其海量数据量的特点也对基于Web的地理信息服务的提供带来巨大压力.针
本文通过对船体、平衡翼、轻型发电机以及双动力系统等技术的改进,研发了一种遥控测量船,实现了测量船便携、安全、稳定、自动化测量等目的.通过对岸基控制系统的开发,不仅实
高枕伴随忧愁来春云，竹峰生活中常常听到人们说高枕无忧。高枕真的无忧吗？近代医学认为高枕伴随忧愁来。高枕易造成颈椎病。人的颈椎有着生理性弯曲，生理性弯曲可以缓冲人体在运
因为《还珠格格》中的“紫薇格格”，使得所有人的目光都集中在这个年轻漂亮的女孩马伊俐身上。有人说马伊俐是幸运的，因为“薇格格”一举成名．现在算是“出来”了。但马伊俐觉得
针对路网环境下基于位置的服务中可能存在的重放攻击问题,提出两种基于等价类划分思想的位置隐私保护算法.在满足用户隐私需求的前提下,通过将路段集合进行顺序扫描分组或二
文章基于青岛附近黄海海域的GNSS验潮观测数据,利用GAMIT TRACK双差动态定位模块,解算潮位变化.引入IGS组织发布的最终星历参与计算,获取GNSS高精度验潮,将结果与压力式验潮
男性勃起障碍是糖尿病最常见的并发症之一,药物治疗是目前临床中针对糖尿病男性勃起功能障碍患者的有效方法,在促进患者临床病情的有效转归过程中取得较好的疗效,随着新的药