City Research Online

The PER model of abstract non-interference

Hunt, S. and Mastroeni, I. (2005). The PER model of abstract non-interference. In: Hankin, C. and Siveroni, I. (Eds.), Static Analysis. SAS 2005. Lecture Notes in Computer Science. (pp. 171-185). Berlin: Springer. ISBN 978-3-540-28584-7

Publication Type: Conference or Workshop Item (Paper)
Additional Information: The final authenticated version is available online at https://doi.org/10.1007/11547662_13.
Publisher Keywords: information flow, non-interference, abstract interpretation, language-based security, SECURE INFORMATION-FLOW, DECLASSIFICATION
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Mathematics, Computer Science & Engineering > Computer Science
School of Mathematics, Computer Science & Engineering > Computer Science > Software Reliability
URI: https://openaccess.city.ac.uk/id/eprint/193
[img]
Preview
Text - Accepted Version
Download (245kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login