1. J. Adams: The Future of War. In World Markets Research Centre (ed.): Business Briefing: Global Info Security. London 2000, S. 19–24.
2. W.A. Arbaugh, D. J. Farber, J. M. Smith: A Secure and Reliable Bootstrap Architecture. In Proceedings of the IEEE Symposium on Security and Privacy, 1997, S. 65–71.
3. Baur, Plasa, Kejwal, Drexel, Reif, Stephan, Wolpers, Hutter, Sengler und Canver: The Verification Support Environment VSE. In IFA Symposium on Safety, Security and Reliability of Computers 1992.
4. Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers und Susan Eggers: Extensibility, safety and performance in the SPIN operating system. Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15), 1996, S. 267–284.
5. P. C. Clark: BITS: A Smartcard Protected Operating System. PhD thesis, George Washington University, 1994.