literature/Book_SELinux by Example Using Security Enhanced Linux/thumbnail.jpg
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:image/jpeg)