Special Issue on Language Based Security
Research Article
“Language-Based Security”
-
- Published online by Cambridge University Press:
- 03 March 2005, p. 129
-
- Article
-
- You have access
- Export citation
Stack-based access control and secure information flow
-
- Published online by Cambridge University Press:
- 03 March 2005, pp. 131-177
-
- Article
-
- You have access
- Export citation
Interfaces for stack inspection
-
- Published online by Cambridge University Press:
- 03 March 2005, pp. 179-217
-
- Article
-
- You have access
- Export citation
Correspondence assertions for process synchronization in concurrent communications
-
- Published online by Cambridge University Press:
- 03 March 2005, pp. 219-247
-
- Article
-
- You have access
- Export citation
A monadic analysis of information flow security with mutable state
-
- Published online by Cambridge University Press:
- 03 March 2005, pp. 249-291
-
- Article
-
- You have access
- Export citation
Noninterference through flow analysis
-
- Published online by Cambridge University Press:
- 03 March 2005, pp. 293-349
-
- Article
-
- You have access
- Export citation