📣 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.
Large result sets may take several minutes to download.
The first row is header row.
Generation of CSV export files is restricted, and may be rejected during busy periods. If this happens then please wait and try again after a brief interval.
Chothia T
(2015)
Automatically Calculating Quantitative Integrity Measures for Imperative Programs
in 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