A uniform type structure for secure information flow
- 1 January 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 19 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
- Game-theoretic analysis of call-by-value computationTheoretical 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