Works matching IS 09567968 AND DT 2005 AND VI 15 AND IP 2
Results: 6
Noninterference through flow analysis.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 2, p. 293, doi. 10.1017/s0956796804005477
- By:
- Publication type:
- Article
Interfaces for stack inspection.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 2, p. 179, doi. 10.1017/s0956796804005465
- By:
- Publication type:
- Article
Stack-based access control and secure information flow.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 2, p. 131, doi. 10.1017/s0956796804005453
- By:
- Publication type:
- Article
A monadic analysis of information flow security with mutable state.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 2, p. 249, doi. 10.1017/s0956796804005441
- By:
- Publication type:
- Article
Correspondence assertions for process synchronization in concurrent communications.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 2, p. 219, doi. 10.1017/s095679680400543x
- By:
- Publication type:
- Article
Language-Based Security.
- Published in:
- Journal of Functional Programming, 2005, v. 15, n. 2, p. 129, doi. 10.1017/s0956796804005428
- By:
- Publication type:
- Article