Verification of control flow based security properties
- 20 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4, 89-103
- https://doi.org/10.1109/secpri.1999.766902
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Lightweight Bytecode VerificationJournal of Automated Reasoning, 2003
- Security and dynamic class loading in Java: a formalisationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Call graph construction in object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1997
- Model Checking Mobile ProcessesInformation and Computation, 1996
- Property preserving abstractions for the verification of concurrent systemsFormal Methods in System Design, 1995
- Deciding Bisimulation Equivalences for a Class of Non-Finite-State ProgramsInformation and Computation, 1993
- A calculus for access control in distributed systemsACM Transactions on Programming Languages and Systems, 1993
- Expressing interesting properties of programs in propositional temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- Certification of programs for secure information flowCommunications of the ACM, 1977
- A note on the confinement problemCommunications of the ACM, 1973