Hello:
 
How are you planning to certify/demonstrate that the code being developed for SELinux is sufficiently error-free and robust to support your enhanced security goals?
 
I would like to see the test plan associated with this certification process.
 
Please send me a link if it is available.
 
Thank You
 
Robert Adams
www.whatifwe.com
robert.adams@whatifwe.com