In a distributed system, it is often important to detect the causal relationships between events, where event e 1 is causally before event e 2 if e 1 happened before e 2 and could possibly have aaected the occurrence of e 2. In this paper we argue that detecting causal relationships among events can be important for security, in the sense that it may be essential to the correct implementation o...