1. Alves-Foss, J., Taylor, C.: An analysis of the GWV security policy. In: ACL2 Workshop (2004)
2. Amtoft, T., Hatcliff, J., Rodrguez, E., Robby, Hoag, J., Greve, D.: Specification and checking of software contracts for conditional information flow. In: Design and Verification of Microprocessor Systems for High-Assurance Applications, pp. 341–380 (2010)
3. Bill Hart, G.H.S.: SDR security threats in an open source world (2009),
http://groups.winnforum.org/p/cm/ld/fid=60
4. CENELEC: DIN EN50128:2001: Railway applications. Communications, signalling and processing systems. Software for railway control and protection systems (2001)
5. Common Criteria Sponsoring Organizations: Common criteria for information technology security evaluation. version 3.1, revision 1 (September 2006),
http://www.commoncriteriaportal.org/thecc.html