Loading...
Please wait, while we are loading the content...
Towards a Methodology and Tool for the Analysis of Security-Enhanced Linux Security Policies (2002)
| Content Provider | CiteSeerX |
|---|---|
| Author | Archer, Myla Leonard, Elizabeth Pradella, Matteo |
| Abstract | This paper reports progress made towards adapting the tool TAME, a PVS interface designed to support specification and analysis of automata in a user-friendly manner, to the analysis of SE Linux security policies |
| File Format | |
| Language | English |
| Publisher Date | 2002-01-01 |
| Publisher Institution | 95051,. iPSC/2 and iPSC/860 User's Guide |
| Access Restriction | Open |
| Subject Keyword | Security-enhanced Linux Security Policy Pvs Interface Tool Tame User-friendly Manner Se Linux Security Policy |
| Content Type | Text |
| Resource Type | Technical Report |