literature/Book_SELinux by Example Using Security Enhanced Linux/selinux_by_example_using_security_enhanced_linux.chm
author chunhan
Wed, 20 Nov 2013 13:43:09 +0800
changeset 68 742bed613245
parent 0 34d01e9a772e
permissions -rw-r--r--
simplifing model, by changing sectxt_of_obj s' (O_proc p) of None \<Rightarrow> False

(binary:chemical/x-chemdraw)