操作系统访问控制模型关键技术研究.pdfVIP

维普资讯 第 26卷 第4期 计算机工程与设计 2005年4月 VO1．26 NO．4 ComputerEngineeringandDesign Apr．2005 操作系统访问控制模型关键技术研究 李远征 (北京邮电大学，北京 100876) 摘 要 ：对访 问控制模型的研究是 安全操作 系统研 究中的一个关键 问题 ，论述 了影响Linux操作 系统安全的主要 问题 ， 对 当前用于操作系统安全增强的关键技术做 了系统研究，并对 当前流行的几种访问控制模型做 了深入分析，对安全操 作系统的研究有一定的参考价值 。 关键词：Linux操作系统；访 问控制；安全增强 中图法分类号：TP393 文献标识码：A 文章编号：1000。7024(2005)04—1004—02 StudyofkeytechnologyonaccesscontrolmodelofOS LIYuan—zheng (BeijingUniversityofPostsandTelecom，Beijing100876，China) Abstract： Thestudyofaccesscontrolmodelisthekeyproblem inthestudyofOS．Th emainproblemsreflectingthesecurityofLinux OSareaddressed．Th ekeytechnologiesusedtoenhanceOSsecurityraestudied．Adetailedanalysisaboutseveralpopulra accessconrtol modelsisgiven．Th esearevaluabletOthestudyofsecureOS． Keywords：LinuxOS；accessconrtol；securiyt ehn na cement (1)缓冲区溢 出：缓冲区溢 出问题是C程序 的一个 内在 问 1 引 言 题 ，是很普遍的也是很危险的，很多的特权程序包含 “缓冲区 目前对操作系统的研究可谓是百花齐放 ，但主流是两个 溢 出”的弱点。这是 由于C语言中缺少数组边界检查，因此会 方 向，一种是从形式化 的角度来研究全新的理论上安全 的操 产生 内在缓冲 区溢 出边界的现象 。对于系统软件 ，也就是命 作系统模型，另一种则是基于现存操作系统的安全增强研究， 令、守护进程和C写的库 ，由于很少会在调用像 sprintf或srtcpy 通过分析当前操作系统的安全缺陷及可能的外来攻击，研究 这样可能导致缓冲区溢 出的函数之前实施所有可能的检查， 可增强其安全性的关键技术并将其与现存操作系统结合而得 从而使得它们成为基于缓冲 区溢 出攻击 的明显的 目标 ，尤其 到一个安全操作系统 。前者是方 向性的研究，任重道远 ，后者 是当这些软件产生具有超级用户特权的进程 时会 引起更严重 则是通过 目前的访问控制等技术在现有成熟操作系统的基础 的问题 。 上来构造实用 的系统，已有很多产品出现 ，可满足现实的需 (2)SETUID问题 ：这是一个利用setuid位 的UNIX机制临 要 。两方面 的研究对操作系统的发展都是极有意义的，齐头