Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh. Automatically Calculating Quantitative Integrity Measures for Imperative Programs. In Joaquín García-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri, editors, Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance - 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Volume 8872 of Lecture Notes in Computer Science, pages 250-265, Springer, 2014. [doi]
Abstract is missing.