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

NCUIR > School of Management at National Central University > Graduate Institute of Information Management > Electronic Thesis & Dissertation > Item 987654321/13120

Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/13120

Title:	一種以彩色派翠網為基礎的 SELinux 安全政策分析工具
Authors:	黃嘉欣;Jia-Sin Huang
Contributors:	資訊管理研究所
Keywords:	SElinux;Color Petri Net;Security Policy;Linux;安全政策;SElinux;Color Petri Net;Security Policy;Linux
Date:	2004-06-18
Issue Date:	2009-09-22 15:24:08 (UTC+8)
Publisher:	國立中央大學圖書館
Abstract:	隨著資訊時代的來臨，網際網路快速的發展，使得資訊安全日漸重要，其中在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工具來驗證是否符合安全目標。
Appears in Collections:	[Graduate Institute of Information Management] Electronic Thesis & Dissertation

Files in This Item:

File	Size	Format

社群 sharing