A logic for information flow analysis with an application to forward slicing of simple imperative programs
- 1 January 2007
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 64 (1) , 3-28
- https://doi.org/10.1016/j.scico.2006.03.002
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A logic for information flow in object-oriented programsACM SIGPLAN Notices, 2006
- Stack-based access control and secure information flowJournal of Functional Programming, 2005
- Information Flow Analysis in Logical FormPublished by Springer Nature ,2004
- Abstract non-interferenceACM SIGPLAN Notices, 2004
- A core calculus of dependencyPublished by Association for Computing Machinery (ACM) ,1999
- The SLam calculusPublished by Association for Computing Machinery (ACM) ,1998
- Binding time analysisACM SIGPLAN Notices, 1991
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- An Axiomatic Approach to Information Flow in ProgramsACM Transactions on Programming Languages and Systems, 1980
- Certification of programs for secure information flowCommunications of the ACM, 1977