The PER model of abstract non-interference

Hunt, S. & Mastroeni, I. (2005). The PER model of abstract non-interference. Paper presented at the Proc. Static Analysis, 12th International Symposium.

Download (245kB) | Preview

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: information flow, non-interference, abstract interpretation, language-based security, SECURE INFORMATION-FLOW, DECLASSIFICATION
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: School of Informatics > Department of Computing
School of Informatics > Centre for Software Reliability

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics