A uniform type structure for secure information flow
- 1 January 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 37 (1) , 81-92
- https://doi.org/10.1145/565816.503281
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Full Abstraction for PCFInformation and Computation, 2000
- On Full Abstraction for PCF: I, II, and IIIInformation and Computation, 2000
- Secrecy in Programming-Language SemanticsElectronic Notes in Theoretical Computer Science, 1999
- Trust in the λ-calculusJournal of Functional Programming, 1997
- π-Calculus, internal mobility, and agent-passing calculiTheoretical Computer Science, 1996
- On reduction-based process semanticsTheoretical Computer Science, 1995
- Type inference for polymorphic referencesInformation and Computation, 1990
- Linear logicTheoretical Computer Science, 1987
- Certification of programs for secure information flowCommunications of the ACM, 1977