人, 既无虎狼之爪牙,亦无狮象之力量,却能擒狼缚虎,驯狮猎象,无他,唯智慧耳。
全部博文（167）
发布时间：2014-01-15 16:13:17
学习了安全操作系统设计中的一些重要方面，如安全模型、安全机制、安全体系、形式化验证、隐蔽信道检测等等，今天来看看宏观上安全操作系统的设计、开发与实现的问题。首先先来看看设计安全操作系统的相关知识：一、安全操作系统设计1. 设计原则与一般结构 Saltzer和Schroder一.........【阅读全文】
发布时间：2014-01-14 11:07:57
形式化规范这部分对于自己来说太抽象了，全部是理论，还有数学公式之类的罗列，这里不再详细的笔记了，只是说说自己的理解和一些感觉重要的地方吧！ 我们设计安全操作系统当然希望它可以达到一定的安全级别，但是我们无法形式地规定对于一个系统而言什么是“安全“，我们需要借助.........【阅读全文】
发布时间：2014-01-13 15:29:49
一个周末又过去了，今天接着“安全机制”、“安全模型”之后来看看“安全体系”。安全体系可以从系统的设计谈起，我们设计实现一个操作系统，必然要实现一些功能，满足必需的特定的要求，比如安全性、性能、可扩展性、容量、便捷、经济成本等，这些要求往往是有冲突的，因此为了将这些要求纳入到一个.........【阅读全文】
