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