| 2013-12-02 | chunhan | remove shm and linkhard, make a simplified version of selinux | file | diff | annotate |
| 2013-11-20 | chunhan | add conflict of p fd as file_fd & socket | file | diff | annotate |
| 2013-11-20 | chunhan | simplifing model, by changing sectxt_of_obj s' (O_proc p) of None \<Rightarrow> False | file | diff | annotate |
| 2013-11-19 | chunhan | update grant_check | file | diff | annotate |
| 2013-11-19 | chunhan | enrich_proc | file | diff | annotate |
| 2013-10-30 | chunhan | update | file | diff | annotate |