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