no_shm_selinux/Enrich2.thy
2014-01-09 chunhan modify co2sobj/s2ss from object to dobject
2014-01-08 chunhan enrich msgq done; but find bugs of s2ss, it should only considerate 'appropriate' objects, not including msg/fd ...
2014-01-07 chunhan enrich_msgq
2014-01-06 chunhan make clear of Indexing-objects and enrich-objects
2014-01-01 chunhan update
2013-12-31 chunhan remove init message queue
2013-12-30 chunhan find bug: a created proc can be tainted by a message, which cannot remain and maynot be duplicated
2013-12-30 chunhan add remove_create_flag to sfd
2013-12-30 chunhan cfd2sfd, OF_create flag should not be in the sfd, cause all-duplicated sfd could not have this flag
2013-12-26 chunhan enrich
2013-12-23 chunhan update
less more (0) tip