| 2013-09-12 | chunhan | update | file | diff | annotate |
| 2013-09-05 | chunhan | update | file | diff | annotate |
| 2013-09-04 | chunhan | done with co2sobj_simps | file | diff | annotate |
| 2013-09-02 | chunhan | remove in-current constrains from co2sobj, alive already does this job in co2sobj's properties | file | diff | annotate |
| 2013-08-29 | chunhan | remove O_msg from co2sobj/init_obj2sobj | file | diff | annotate |
| 2013-08-29 | chunhan | fix bug of static.thy for the static of recvmsg case | file | diff | annotate |
| 2013-06-24 | chunhan | wrong of info-flow-shm, it is a inductive(transitive) notion, not a simple relation just between 2 nodes, more information, see 5.7 of ideas_of_selinux.txt | file | diff | annotate |
| 2013-06-06 | chunhan | fixed bug in tainted_s and update | file | diff | annotate |