Chinaunix首页 | 论坛 | 博客
  • 博客访问: 2908851
  • 博文数量: 167
  • 博客积分: 613
  • 博客等级: 中士
  • 技术积分: 5473
  • 用 户 组: 普通用户
  • 注册时间: 2011-09-13 21:35
个人简介

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

文章分类
文章存档

2015年(19)

2014年(70)

2013年(54)

2012年(14)

2011年(10)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

阅读(2195) | 评论(0) | 转发(1)
给主人留下些什么吧!~~

windhawkgyang2014-02-24 09:06

bangde32:好强大

回复  |  举报

bangde322014-02-18 16:56

好强大

回复  |  举报

windhawkgyang2013-08-29 08:24

电影vs程序员:有2篇啊

回复  |  举报

电影vs程序员2013-08-28 17:23

有2篇啊

回复  |  举报

teee_u2011-09-20 09:29

你怎么半篇也没有?

回复  |  举报
留言热议
请登录后留言。

登录 注册