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
IEEE
Pages 29-43
2003
Topic(s): security
Note(s): information flow