City Research Online - The PER model of abstract non-interference

The PER model of abstract non-interference

Hunt, S. & Mastroeni, I. (2005). The PER model of abstract non-interference. In: Hankin, C. & Siveroni, I. (Eds.), Static Analysis. SAS 2005. Proc. Static Analysis, 12th International Symposium doi: 10.1007/11547662_13

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 Science & Technology > Computer Science School of Science & Technology > Computer Science > Software Reliability

Preview

Text - Accepted Version
Download (245kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Hunt, S. Mastroeni, I.
Event Title:	Proc. Static Analysis, 12th International Symposium
Event Type:	Conference
Status:	Published
Refereed:	No
Publisher:	Springer
ISBN:	978-3-540-28584-7
URI:	https://openaccess.city.ac.uk/id/eprint/193
Date available in CRO:	14 Sep 2011 13:25
Date deposited:	27 November 2019
Dates:	Date Event 2005 UNSPECIFIED