City Research Online

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

RefWorks RDF+XML BibTeX RIOXX2 XML RDF+N-Triples JSON Dublin Core Dublin Core Simple Metadata Refer METS HTML Citation ASCII Citation OpenURL ContextObject EndNote OpenURL ContextObject in Span MODS MPEG-21 DIDL EP3 XML Reference Manager RDF+N3 Multiline CSV

Downloads

Downloads per month over past year

View more statistics