操作系统安全【五】：设计、评测与网络扩展

Windhawk'CUwindhawk.blog.chinaunix.net

首页　| 　博文目录　| 　关于我

windhawkgyang

博客访问： 3036998
博文数量： 167
博客积分： 613
博客等级：中士
技术积分： 5473
用户组：普通用户
注册时间： 2011-09-13 21:35

个人简介

人, 既无虎狼之爪牙,亦无狮象之力量,却能擒狼缚虎,驯狮猎象,无他,唯智慧耳。

文章分类

全部博文（167）

滴水穿石（2）
菜鸟上路（117）

大数据分析（8）

Python（17）

C/C++（26）

系统与网络安全（43）

hadoop（18）
MetaSploit（10）
Windows核心编程(（11）
Network Programm（1）
深入理解计算机系（11）
未分配的博文（15）

文章存档

2015年（19）

2014年（70）

2014年12月（1）
2014年11月（2）
2014年10月（2）
2014年09月（5）
2014年08月（2）
2014年07月（9）
2014年06月（12）
2014年05月（1）
2014年04月（9）
2014年03月（4）
2014年02月（11）
2014年01月（12）

2013年（54）

2012年（14）

2011年（10）

我的朋友

最近访客

推荐博文

操作系统安全【五】：设计、评测与网络扩展

发布时间：2014-01-15 16:13:17

学习了安全操作系统设计中的一些重要方面，如安全模型、安全机制、安全体系、形式化验证、隐蔽信道检测等等，今天来看看宏观上安全操作系统的设计、开发与实现的问题。首先先来看看设计安全操作系统的相关知识：一、安全操作系统设计1. 设计原则与一般结构 Saltzer和Schroder一.........【阅读全文】

阅读(3901) | 评论(0) | 转发(0)

操作系统安全【四】：形式化规范与验证

发布时间：2014-01-14 11:07:57

形式化规范这部分对于自己来说太抽象了，全部是理论，还有数学公式之类的罗列，这里不再详细的笔记了，只是说说自己的理解和一些感觉重要的地方吧！我们设计安全操作系统当然希望它可以达到一定的安全级别，但是我们无法形式地规定对于一个系统而言什么是“安全“，我们需要借助.........【阅读全文】

阅读(4760) | 评论(0) | 转发(0)

操作系统安全【三】：安全体系结构

发布时间：2014-01-13 15:29:49

一个周末又过去了，今天接着“安全机制”、“安全模型”之后来看看“安全体系”。安全体系可以从系统的设计谈起，我们设计实现一个操作系统，必然要实现一些功能，满足必需的特定的要求，比如安全性、性能、可扩展性、容量、便捷、经济成本等，这些要求往往是有冲突的，因此为了将这些要求纳入到一个.........【阅读全文】

阅读(8137) | 评论(0) | 转发(0)

Sql学习拾遗（三）：联结

发布时间：2014-01-03 15:53:17

为什么SQL语言会定义“联结”呢？其实这源于关系型数据库本身的特点。数据存储的对象具有繁杂的信息条目，如果将所有的信息都存储在一张表中，应用时非常不便，主要体现在：1. 大量信息冗余，浪费磁盘存储空间；2. 部分信息发生变动时修改量十分巨大；3. 同一供应商的产品会出现大量雷同信.........【阅读全文】

阅读(3489) | 评论(1) | 转发(1)

Sql学习拾遗（二）

发布时间：2014-01-02 16:08:47

接着上午的干劲儿，下午继续！还是老方法，先来列列自己感觉重要的几个知识点吧：1. Sql语言通配符： -%：用来表示任意多个任意字符，从无到多个字符均可； -*：用来表示一个字符，无论是什么字符，就只能代表一个 -LIKE：使用通配符时必须使用'LIKE'关键字，告诉DBMS使.........【阅读全文】

阅读(2418) | 评论(0) | 转发(1)