check : http://ertos.nicta.com.au/research/l4.verified/
media etc : http://www.theengineer.co.uk/Articles/312631/Safer+software.htm Of course, the work is based on a set of interesting assumptions and fairly delimited universe ( given the understandable need to restrict scope ). Comments anyone ? _______________________________________________ Fun and Misc security discussion for OT posts. https://linuxbox.org/cgi-bin/mailman/listinfo/funsec Note: funsec is a public and open mailing list.
