Automatically Calculating Quantitative Integrity Measures for Imperative Programs

First Author: Chothia T

Attributed to: Academic Centre of Excellence in Cyber Security Research - University of Birmingham funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-17016-9_16

Publication URI: http://dx.doi.org/10.1007/978-3-319-17016-9_16

Type: Book Chapter

Book Title: 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 (2015)

Page Reference: 250-265