Steve Zdancewic Andrew C. Myers Observational Determinism for Concurrent Program Security. 29- 2003 conf/csfw/2003 CSFW http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270029abs.htm db/conf/csfw/csfw2003.html#ZdancewicM03