Some interesting approaches in secure system architectures and tools for building such systems:

http://www.ok-labs.com/_assets/download_library/ok_tech.pdf

http://www.bitc-lang.org/

http://www.coyotos.org/