Reasoning about risk and trust in an open word / Sophia Drossopoulou, James Noble, Mark S. Miller, and Toby Murray.