Cyanogenmod released the stable version 10.1.3 yesterday and it apparently includes SELinux enhancements running in permissive mode per default.
I thought that you could change the mode in the settings, but so far I have not found anything.
Is this possible at all using the graphical touch interface?
Settings -> About phone
menu, all the way at the bottom. – Chahk Sep 24 '13 at 15:54