A. Russo, A. Sabelfeld, и K. Li. Logics and Languages for Reliability and Security, том 25 из NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2010)
D. Hedin, и A. Sabelfeld. Software Safety and Security, том 33 из NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)