DC 欄位 |
值 |
語言 |
DC.contributor | 資訊管理學系 | zh_TW |
DC.creator | 黃嘉欣 | zh_TW |
DC.creator | Jia-Sin Huang | en_US |
dc.date.accessioned | 2004-7-16T07:39:07Z | |
dc.date.available | 2004-7-16T07:39:07Z | |
dc.date.issued | 2004 | |
dc.identifier.uri | http://ir.lib.ncu.edu.tw:88/thesis/view_etd.asp?URN=91423035 | |
dc.contributor.department | 資訊管理學系 | zh_TW |
DC.description | 國立中央大學 | zh_TW |
DC.description | National Central University | en_US |
dc.description.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工具來驗證是否符合安全目標。 | zh_TW |
DC.subject | SElinux | zh_TW |
DC.subject | Color Petri Net | zh_TW |
DC.subject | Security Policy | zh_TW |
DC.subject | Linux | zh_TW |
DC.subject | 安全政策 | zh_TW |
DC.subject | SElinux | en_US |
DC.subject | Color Petri Net | en_US |
DC.subject | Security Policy | en_US |
DC.subject | Linux | en_US |
DC.title | 一種以彩色派翠網為基礎的 SELinux 安全政策分析工具 | zh_TW |
dc.language.iso | zh-TW | zh-TW |
DC.type | 博碩士論文 | zh_TW |
DC.type | thesis | en_US |
DC.publisher | National Central University | en_US |