Information flow for Algol-like languages
- 1 April 2002
- journal article
- Published by Elsevier in Computer Languages, Systems & Structures
- Vol. 28 (1) , 3-28
- https://doi.org/10.1016/s0096-0551(02)00006-1
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- A new type system for secure information flowPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Eliminating covert flows with minimum typingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Probabilistic noninterference for multi-threaded programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Probabilistic game semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A uniform type structure for secure information flowPublished by Association for Computing Machinery (ACM) ,2002
- Flow Logic and Operational SemanticsElectronic Notes in Theoretical Computer Science, 1998
- Flow logic for Imperative ObjectsPublished by Springer Nature ,1998
- A lattice model of secure information flowCommunications of the ACM, 1976