Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2

First Page		Document Content
Date: 2017-06-07 20:45:26 Information theory Information flow Mutual information Conditional mutual information Conditional entropy		Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 783,50 KB Share Document on Facebook