| 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:444/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 |