Automatically Calculating Quantitative Integrity Measures for Imperative Programs.

Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh

Browse the full ESORICS paper archive.