安全操作系统

作品数：287被引量：487H指数：11
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：沈昌祥卿斯汉孙玉芳石文昌梁洪亮更多>>
相关机构：中国科学院软件研究所南京大学北京工业大学北京交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中国科学院知识创新工程国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
移动环境下Flask框架的改进被引量：1
《计算机工程与设计》2009年第4期880-882,896,共4页程瑶 吴振强 
国家自然科学基金重点项目(60633020)
在移动环境下,节点之间在进行通信时要进行策略的动态协调,而作为典型的动态安全系统框架-Flask,只能用于静态环境中。在研究了Flask框架体系结构的基础上,对其进行改进,使其适合于动态的移动环境。通过在Flask框架结构中加入翻译器组件...
关键词：安全操作系统 移动环境 Flask框架 可信第三方 策略协调 
基于操作系统安全的恶意代码防御研究述评被引量：2
《计算机工程与设计》2008年第21期5407-5410,共4页陈泽茂 吴晓平 沈昌祥 
国家自然科学基金项目(70471031)
总结了安全操作系统实现恶意代码防御的典型理论模型,分析了它们的基本思想、实现方法和不足之处,指出提高访问控制类模型的恶意代码全面防御能力和安全保证级别、从操作系统安全体系结构的高度构建宏病毒防御机制以及应用可信计算技术...
关键词：恶意代码防御 安全模型 安全策略 安全操作系统 可信计算 
Isabelle在分析安全操作系统状态机模型中的应用被引量：2
《计算机工程与设计》2008年第3期580-582,730,共4页陈坤 贺也平 
国家自然科学基金面上项目(60573042);北京市自然科学基金项目(4052016)
为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数,以及模型中的安全不变量和状态迁移规则进行形...
关键词：形式化 Isabelle工具 状态机模型 安全操作系统 可信进程模型 
基于LSM的动态多策略研究与实现被引量：2
《计算机工程与设计》2007年第17期4108-4111,共4页佘影 陈蜀宇 
教育部"新世纪优秀人才支持计划"基金项目(NCET-04-0843)
安全需求多样化对操作系统提出支持大量广泛的安全策略灵活性要求。这些灵活性需要支持控制访问权限的转移,执行细粒度的访问控制和撤消之前许可的访问权限。传统操作系统把对安全策略的支持分散到系统相关功能模块中,难以满足这种需求...
关键词：动态多策略 安全模块 安全体系结构 安全域 安全操作系统 
一种增强的自主访问控制机制的设计和实现被引量：4
《计算机工程与设计》2007年第8期1781-1784,1787,共5页顾少慰 梁洪亮 李尚杰 罗宇翔 
国家自然科学基金项目(60573042);科技部攻关基金项目(2005BA113A02)
自主访问控制是安全操作系统的基本安全机制之一,传统的文件保护位方式无法满足高安全等级操作系统对于自主访问控制机制的要求。对基于访问控制表的自主访问控制机制的设计和实现进行了研究。在此基础上提出并实现3种重要的增强和改进...
关键词：安全操作系统 自主访问控制 访问控制表 反向授权 私有组 可执行文件ACL 
堆栈溢出的BLP形式化研究及实现
《计算机工程与设计》2007年第4期808-810,共3页张凯 杨晓艳 沈宁 
堆栈溢出是一种在各种操作系统、应用软件中广泛存在普遍且危险的漏洞,可以利用它执行非授权指令,甚至可以取得系统特权,进而进行各种非法操作。从安全操作系统的角度分析了堆栈溢出的原理,以BLP模型为工具对堆栈溢出进行了形式化并在...
关键词：安全操作系统 堆栈溢出 形式化 BLP模型 LINUX安全模块 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部