翟高寿 作品数:41 被引量:68 H指数:5 供职机构: 北京交通大学 更多>> 发文基金: 中央高校基本科研业务费专项资金 国家留学基金 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 交通运输工程 文化科学 政治法律 更多>>
伊利诺伊大学留学见闻及感受 被引量:1 2007年 在国家教育部留学基金委的资助下,我们一行25名来自全国各高校的一线教师在去年上半年前往美国伊利诺伊大学香槟分校(University of Illinois at Urbana—Champaign,即UIUC,本文以后均简写为伊利诺伊大学)做访问学者和参观学习。一个学期的时间并不算太长,特别是在紧张忙碌的学习、工作过程中,几乎是转瞬即逝。 翟高寿关键词:留学 教师 一种基于调用指令替换的故障注入方法 本发明提供了一种基于调用指令替换的故障注入方法。该方法包括:通过软件程序加载故障注入模块,加载时通过故障注入模块的参数指定故障注入的目标模块名称以及若干目标函数名称,通过故障注入模块在目标模块中注入故障;故障注入模块加载... 翟高寿 刘子桐 刘峰 罗琼Linux安全操作系统构建方法与技术(第四讲)——最小特权管理 2005年 本讲将阐述最小特权管理引入的必要性及基本思想,介绍最小特权管理机制实现的主要模式和基本方法,包括职责与特权细分、特权传递及计算机制等。 翟高寿 曾杰关键词:最小特权 LINUX 安全操作 Linux安全操作系统构建方法与技术(第六讲)——安全测评 2005年 本讲将着重就Linux安全操作系统构建的最后一个环节——安全测评展开介绍,具体包括安全测评的目标与特点、基本依据及准则、主要方法和技术路线等,同时还将就安全测评自动化的必要性及其初步构想进行讨论。 张良 翟高寿关键词:LINUX 安全测评 安全操作 Linux安全操作系统构建方法与技术(第三讲)——自主访问控制与强制访问控制 2005年 第二讲介绍了标识与鉴别的基本概念和实现机制,并阐述了可信通路的重要性及构建原理与方法。本讲将介绍存取访问控制的基本任务及相关概念,并就Linux系统下自主访问控制与强制访问控制的实现方法和技术分别展开重点讲解。 马妙霞 翟高寿关键词:LINUX系统 强制访问控制 自主访问控制 安全操作 存取 一种系统主动型USB移动存储设备访问控制方法 本发明提供了一种系统主动型USB移动存储设备访问控制方法。该方法包括:根据USB移动存储设备的特征组合信息确定设备的标识符;基于设备的标识符利用Kprobe机制跟踪拦截USB设备状态设置函数,根据移动存储设备白名单及访问... 翟高寿 郭卓茁 刘子桐 郭小康 刘峰 罗琼 王振强 孙思雨 翟梓淇 崔依婷设备驱动非内核化通信架构的研究与实现 被引量:3 2016年 操作系统内核安全是整个计算机及信息系统安全的基石,而拥有50%以上份额内核代码的设备驱动程序则被认为是内核漏洞的主要来源。设备驱动程序通常以系统级权限运行在内核空间,而操作系统对运行在内核空间的程序是完全信任的。所以,一旦设备驱动程序存在漏洞或恶意代码,往往会影响操作系统安全,甚至导致整个系统的崩溃。为解决此类安全问题,设备驱动程序非内核化成为可选的有效途径之一。考虑到设备驱动程序的复杂性及其与操作系统其他内核模块之间的密切关联性,设备驱动程序的非内核化迁移是一项耗时耗力的工作。立足于自动化迁移的最终目标,文章试图构建一种规范的通信架构,探索选择设备驱动函数迁移的科学依据、迁出函数与用户空间函数的设计框架以及典型的非内核化迁移操作过程。相关原型测试结果表明,文章给出的设备驱动非内核化通信机制在有效隔离设备驱动安全问题的同时,并未过多增加系统开销,对系统性能没有造成太大影响。 谭茁 翟高寿关键词:操作系统安全 内核空间 用户空间 通信机制 安全操作系统隐蔽通道标识方法的研究 隐蔽通道的标识是TCSEC、CC等国际标准评估高安全等级操作系统的安全性的关键指标。本文首先介绍了隐蔽通道的概念,其次,概述了当今标识隐蔽通道的主流方法,并对这些方法的优劣做了比较和评价,在此基础上对本领域的研究作了探讨... 王瑞昌 翟高寿关键词:安全操作系统 文献传递 操作系统课程学生学习环节及作业分类布置研究 2015年 针对高校作业布置和完成过程中存在的问题,在剖析学生学习环节组成要素的基础上,以操作系统课程为例,提出面向学习环节的作业分类布置及编排设计方案,以期改善学生学习效果,提高课程教学质量。 翟高寿关键词:操作系统课程 基于智能工程的城市交通控制系统的研究 城市交通控制系统是一种巨型复杂系统.该文首先从系统与控制科学的角度出发,通过剖析巨型复杂系统的系统特征,阐述传统控制理论在巨型复杂系统控制问题上的局限性和不足,说明对这类系统采用集成智能化方法进行研究的必要性,并提出集成... 翟高寿关键词:城市交通控制系统 系统体系结构 知识库系统 计算机仿真 文献传递