Observational determinism for concurrent program security (2000)

by Stephan A. Zdancewic , Andrew C. Myers
Venue:In Proceedings of 16th IEEE Computer Security Foundations Workshop, CSFW’03
Citations:80 - 10 self