1) Tuling SecOS2.0/4
图灵四级安全操作系统
1.
Research on Covert Channel Analysis in Tuling SecOS2.0/4;
图灵四级安全操作系统隐蔽通道分析研究
2) multilevel security OS
多级安全操作系统
3) secure OS
安全操作系统
1.
Separate secure domain is the basic requirement for secure OS.
安全域隔离是对安全操作系统的基本要求。
2.
In the paper, a two-levels-cache mechanism is brought in the GFAC based on a three levels model of access, and is implemented in Redflag secure OS.
该文在建立访问的三层模型基础上 ,引入二级访问决策结果缓冲器到GFAC中 ,并且在红旗安全操作系统 (RFSOS)中实现 。
3.
Providing complete security attributes revocation function in secure OS is required by both multi policy supporting mechanism and Common Criteria, but all the relevant research on this subject are imperfect.
多安全政策支持机制和新的国际信息安全评价标准—— CC(com mon criteria)标准都要求安全操作系统提供完善的安全属性即时撤消机制 ,但是目前的研究都不够完善 。
4) security operating system
安全操作系统
1.
The object types in the operating system,which were sorted into the static object and the dynamic object,were analyzed,and some deficiencies in accessing the object in the security operating system were pointed out.
首先分析了操作系统中客体的类型,将客体分为静态客体和动态客体,然后总结了安全操作系统中对客体的处理存在的问题。
2.
The mechanism of buffer overflow from the point of view of security operating system is analyzed,buffer overflow with BLP model is formalized.
从安全操作系统的角度分析了堆栈溢出的原理,以BLP模型为工具对堆栈溢出进行了形式化并在此基础上适当调整了该模型,从安全模型的层次上消除了堆栈溢出的隐患。
3.
0/4 being the project background, this paper reports the research of covert channel analysis of security operating system.
本文以图灵四级安全操作系统为项目背景,描述了对安全操作系统隐蔽通道分析的研究。
5) operating system security
操作系统安全
1.
The paper studies that in the teaching of operating system security,centered on Security reference monitor,how to organize the teaching content of trusted Computing Base,security mechanism,security model and secure evaluating organically to help student handle the basic concept and fundamental theory of the design and development of secure operating system systematically.
研究在操作系统安全课程教学中,以引用监控器为中心,把可信计算基、安全机制、安全模型、以及安全评测等看似零散的教学内容有机地组织起来,使学生能够系统地把握安全操作系统的设计和开发所必备的基本概念和基础理论。
2.
So researches on operating system security has always been the hot topic at home and aboard.
操作系统是计算机系统运行的基础,也是构筑网络信息系统的基础,因而操作系统安全一直是国内外研究的重点。
6) security OS
安全操作系统
1.
Research on Linux Anti-ELF Virus in Security OS;
安全操作系统中反Linux ELF病毒研究
2.
A Dedicated Security OS Based Transparent Proxy Implemented In Kernel;
针对这些问题,本文提出了在定制安全操作系统基础上,将代理程序与OS内核协议栈一体化设计及代理程序分层实现的思想。
补充资料：冬瓜四灵
冬瓜四灵
【菜名】 冬瓜四灵
【所属菜系】 江苏菜
【特点】 冬瓜碧绿，瓜腹四味渗透增美，汤鲜汁醇，营养丰富，可谓地方菜中之佳品。
【原料】
嫩冬瓜一个（重约2000克）。 甲鱼肉50克、熟火腿25克、熟鸡脯肉50克、冬瓜球75克、水发冬菇15克、青菜心25克、熟蛋糕25克、净鱼肉50克。葱25克、姜20克、盐6克、绍酒30克、鸡清汤200克、猪油1250克（实耗油100克）。
【制作过程】
将鱼肉片成长柳叶形，加调料上浆后划油。甲鱼斩成长方块，焯水洗净。入腿、鸡脯肉分别切片。将鸡片、火腿片、鱼片、甲鱼块分别摆在扣碗中的四个角，上放冬瓜球、冬菇、葱姜、精盐、绍酒、鸡清汤，上笼蒸至酥烂取出，拣去葱姜。冬瓜刮去外皮，刻上花纹图案，在一头开盖，去瓤洗净，下五成热（约1l0℃）的油锅中焐至断生，捞出放入汤碗中，舀入鸡清汤，加精盐、绍酒、葱姜，连盖一起上笼蒸透，取出滗去汤，把冬瓜口朝上放入另一汤盘中，将扣入碗中的“四灵”拖入冬瓜中，再加入鸡汤、精盐、绍酒，最上面摆上冬瓜球、蛋糕片、青菜心，上笼蒸5分钟，取出即成。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。