【摘 要】
：
针对基于状态控制的系统安全相关研究欠缺的问题,首先从访问控制的缺陷、状态控制的优势等方面讨论了研究的必要性和可行性;其次,通过引入粗粒度文件、程序及具动态特征的函
【机 构】
：
国防信息学院四系,湖北武汉430010
【出 处】
：
湖北省计算机学会2013年学术年会
论文部分内容阅读
针对基于状态控制的系统安全相关研究欠缺的问题,首先从访问控制的缺陷、状态控制的优势等方面讨论了研究的必要性和可行性;其次,通过引入粗粒度文件、程序及具动态特征的函数等状态,扩展了安全状态的定义;最后从信息流控制和状态对象控制的角度,提出状态取值空间、开放空间和操作空间的概念,并以此为出发点提出了状态的转换、操作、控制及检测等特征的分析方法.在此基础上,从以状态控制为目标和手段两个角度给出了其在系统安全增强及安全检测方面的应用思路.
其他文献
5月下旬获悉,SMC Networks公司推出了一款主干网交换机SMC9712G 10/100/1000交换机。该产品可提供适用于中小型企业的线速交换和第二层、第三层路由应用功能,包括一个内置管
他的父母都是企业主,家境相当富裕。而他偏偏选择了极其“寒碜”的生活。在学校读书连饭都吃不饱,他还一直坚持捐助两个山区孩子上学。在没有路费回家的情况下,他骑车跋涉百
“十一五”将给环保产业带来新的发展机会,“环境友好型社会”建设将会成为股市的新主题,环保板块有可能逐渐摆脱题材、概念的既有形象,而转向更具实质意义的操作阶段。可重
抗疫精神是诞生于伟大抗疫斗争中的伟大精神,它是中国精神的新的表达,蕴含着生命至上、举国同心、舍生忘死、尊重科学、命运与共精神,这些与高校思政课可以紧密结合,促进立德
本期采访的主人家恰好与笔者同姓,可能因此缘故,又抑或是志同道合吧,在整个采访过程中笔者与肖先生谈得十分投契。肖先生家住中山,服务于某国营银行,按其对AV及碟片收藏的热
说起万兆产品,总觉得是遥不可及和价格昂贵。11月24日,Force 10 Networks(美国力腾网络公司)宣布推出紧凑型万兆以太网交换机/路由器产品E300,重新定义了高性能万兆以太网产
美国宝利通公司(Polycom,Inc.)宣布,继国际电联(ITU)通过下一代视频压缩标准—H.264后,公司将把这一标准的支持性能延伸至旗下的视频会议方案。目前,公司通过旗下的iPower视
针对于小学阶段的学生来讲,阅读是他们搜集信息、发展思维、认识世界以及获得审美的关键途径.小学生受到生活与学习的经验限制,很多时候并不能较好的独立开展阅读活动,这就要
在新课改的逐步普及下,小学数学教学老师开始重视对学生创新性思维的培育,力求能够通过创新性的教学方案来激起学生对数学基础知识的学习兴趣,带领学生融入到具体的实践活动
◆摘 要：随着现代教学理论和教学技术的不断发展和进步，在课堂教学中大胆的对创新教学方法进行积极尝试，有助于学生综合素养的多元性发展，使学生的学习兴趣和应试成绩都得到有效提升。初中地理教学是学生初次接触到的课程，教学内容存在复杂多样的特点。教师需要在教学中对教学内容进行有效的创新分析，促使学生养成良好的知识感知和学习态势。本文就将对翻转课堂在初中地理教学中的运用进行发分析和讨论，希望能够给相关教学的