一種以彩色派翠網為基礎的 SELinux 安全政策分析工具

NCU Institutional Repository > 管理學院 > 資訊管理研究所 > 博碩士論文 > Item 987654321/13120

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/13120

题名:	一種以彩色派翠網為基礎的 SELinux 安全政策分析工具
作者:	黃嘉欣;Jia-Sin Huang
贡献者:	資訊管理研究所
关键词:	SElinux;Color Petri Net;Security Policy;Linux;安全政策;SElinux;Color Petri Net;Security Policy;Linux
日期:	2004-06-18
上传时间:	2009-09-22 15:24:08 (UTC+8)
出版者:	國立中央大學圖書館
摘要:	隨著資訊時代的來臨，網際網路快速的發展，使得資訊安全日漸重要，其中在Unix Like 中，Linux 更是日漸受到重視，然而，Linux 本身存在著某些先天上的不足，例如僅能以uid、gid、other 等來控制存取權限，無法達到RBAC(Role Based Access Control)的功能。有鑑於此，許多加強原有Linux安全機制之軟體因而產生，如SELinux (Security- Enhanced Linux) 、 LIDS(Linux Intrusion Detection System)等，其中又以美國NSA所發展之SELinux更為受到注目。然而，SELinux 的安全政策(security policy)設定相當複雜，因此所衍生出許多相關研究，本論文主旨即在探討由使用者自行制定的規則是否符合安全目標。論文中將介紹此方法的流程，以正規理論基礎Color-Petri Net(CPN)方法，並使用CPN工具來驗證是否符合安全目標。
显示于类别:	[資訊管理研究所] 博碩士論文

文件中的档案:

档案	大小	格式	浏览次数

在NCUIR中所有的数据项都受到原著作权保护.

社群 sharing