Observational determinism for concurrent program security

Steve Zdancewic, Andrew C. Myers
[doi] [Google Scholar] [DBLP] [Citeseer]

16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.
IEEE
Pages 29-43
2003
Topic(s): security
Note(s): information flow