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 |
![]()
|
Text
- Accepted Version
Download (245kB) | Preview |
Export
Downloads
Downloads per month over past year