selinux: Changelog

chunhan [Tue, 03 Dec 2013 22:42:48 +0800] rev 75

update

chunhan [Mon, 02 Dec 2013 10:52:40 +0800] rev 74

remove shm and linkhard, make a simplified version of selinux

chunhan [Wed, 20 Nov 2013 21:33:56 +0800] rev 73

update

chunhan [Wed, 20 Nov 2013 18:51:51 +0800] rev 72

fixed bugs

chunhan [Wed, 20 Nov 2013 16:24:16 +0800] rev 71

update socket/filefds conflict

chunhan [Wed, 20 Nov 2013 15:19:58 +0800] rev 70

add conflict of p fd as file_fd & socket

chunhan [Wed, 20 Nov 2013 13:44:32 +0800] rev 69

simplifing model, by changing current_proc_fds to proc_file_fds in the Clone & Execve cases of os_grant

chunhan [Wed, 20 Nov 2013 13:43:09 +0800] rev 68

simplifing model, by changing sectxt_of_obj s' (O_proc p) of None \<Rightarrow> False

chunhan [Tue, 19 Nov 2013 12:31:56 +0800] rev 67

update grant_check

chunhan [Tue, 19 Nov 2013 09:27:25 +0800] rev 66

enrich_proc

selinux