https://cflmark.nms.kcl.ac.uk/hg/selinux/ en-us selinux Changelog https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/b7fd75d104bf https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/b7fd75d104bf changeset b7fd75d104bf branch default bookmark tag tip user chunhan description update files no_shm_selinux/Enrich.thy
no_shm_selinux/Enrich2.thy
]]> chunhan Thu, 16 Jan 2014 11:04:04 +0800 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/042e1e7fd505 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/042e1e7fd505 changeset 042e1e7fd505 branch bookmark tag user chunhan description new childf new-version files no_shm_selinux/Enrich.thy
no_shm_selinux/Enrich2.thy
no_shm_selinux/New_obj_prop.thy
no_shm_selinux/Static.thy
]]> chunhan Thu, 09 Jan 2014 22:53:45 +0800 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/dfde07c7cd6b https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/dfde07c7cd6b changeset dfde07c7cd6b branch bookmark tag user chunhan description new_childf generalized files no_shm_selinux/Enrich.thy
no_shm_selinux/Enrich2.thy
no_shm_selinux/New_obj_prop.thy
no_shm_selinux/ROOT
no_shm_selinux/Static.thy
no_shm_selinux/Temp.thy
]]> chunhan Thu, 09 Jan 2014 19:09:09 +0800 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/d9dc04c3ea90 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/d9dc04c3ea90 changeset d9dc04c3ea90 branch bookmark tag user chunhan description modify co2sobj/s2ss from object to dobject files no_shm_selinux/Co2sobj_prop.thy
no_shm_selinux/Enrich2.thy
no_shm_selinux/Init_prop.thy
no_shm_selinux/S2ss_prop.thy
no_shm_selinux/S2ss_prop2.thy
no_shm_selinux/Static.thy
no_shm_selinux/Static_type.thy
no_shm_selinux/Temp.thy
]]> chunhan Thu, 09 Jan 2014 14:39:00 +0800 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/1a1df29d3507 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/1a1df29d3507 changeset 1a1df29d3507 branch bookmark tag user chunhan description enrich msgq done; but find bugs of s2ss, it should only considerate 'appropriate' objects, not including msg/fd ... files no_shm_selinux/Enrich2.thy
]]> chunhan Wed, 08 Jan 2014 18:40:38 +0800 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/003cac7b8bf5 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/003cac7b8bf5 changeset 003cac7b8bf5 branch bookmark tag user chunhan description enrich_msgq files no_shm_selinux/Enrich.thy
no_shm_selinux/Enrich2.thy
]]> chunhan Tue, 07 Jan 2014 22:04:06 +0800 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/ded3f83f6cb9 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/ded3f83f6cb9 changeset ded3f83f6cb9 branch bookmark tag user chunhan description make clear of Indexing-objects and enrich-objects files no_shm_selinux/Enrich.thy
no_shm_selinux/Enrich2.thy
]]> chunhan Mon, 06 Jan 2014 23:07:51 +0800 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/e832378a2ff2 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/e832378a2ff2 changeset e832378a2ff2 branch bookmark tag user chunhan description update files no_shm_selinux/Alive_prop.thy
no_shm_selinux/Co2sobj_prop.thy
no_shm_selinux/Current_prop.thy
no_shm_selinux/Delete_prop.thy
no_shm_selinux/Enrich.thy
no_shm_selinux/Enrich2.thy
no_shm_selinux/Finite_current.thy
]]> chunhan Wed, 01 Jan 2014 23:00:24 +0800 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/8d18cfc845dd https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/8d18cfc845dd changeset 8d18cfc845dd branch bookmark tag user chunhan description remove init message queue files no_shm_selinux/Co2sobj_prop.thy
no_shm_selinux/Enrich.thy
no_shm_selinux/Enrich2.thy
no_shm_selinux/Finite_current.thy
no_shm_selinux/Flask.thy
no_shm_selinux/Init_prop.thy
no_shm_selinux/ROOT
no_shm_selinux/Static.thy
no_shm_selinux/Temp.thy
]]> chunhan Tue, 31 Dec 2013 14:57:13 +0800 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/690636b7b6f1 https://cflmark.nms.kcl.ac.uk/hg/selinux/rev/690636b7b6f1 changeset 690636b7b6f1 branch bookmark tag user chunhan description find bug: a created proc can be tainted by a message, which cannot remain and maynot be duplicated files no_shm_selinux/Enrich2.thy
]]> chunhan Mon, 30 Dec 2013 23:41:58 +0800