no_shm_selinux/Enrich2.thy
Thu, 09 Jan 2014 14:39:00 +0800 chunhan modify co2sobj/s2ss from object to dobject
Wed, 08 Jan 2014 18:40:38 +0800 chunhan enrich msgq done; but find bugs of s2ss, it should only considerate 'appropriate' objects, not including msg/fd ...
Tue, 07 Jan 2014 22:04:06 +0800 chunhan enrich_msgq
less more (0) -3 tip