📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

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