1. The United Kingdom Norway Initiative: Research into the verification of nuclear warhead dismantlement. Working paper to the Non-Proliferation Treaty Review Conference, NPT/CONF2010/WP.41 (May 2010)
2. MacArthur, D.W., Wolford Jr., J.K.: Information barriers and authentication. In: INMM 42nd Annual Meeting, Indian Wells, CA, USA, July 15-19 (2001)
3. Barnes, J.: High integrity software - The SPARK approach to safety and security. Pearson Education (2003)
4. Barnes, J., Chapman, R., Johnson, R., Widmaier, J., Cooper, D., Everett, W.: Engineering the Tokeneer enclave protection software. In: 1st IEEE International Symposium on Secure Software Engineering (March 2006)
5. Webb, J.T.: MALPAS, an automatic static analysis tool for software validation and verification. In: 1st International Conference on Reliability and Robustness of Engineering Software. Elsevier (1987)