How to securely replicate services
ACM Transactions on Programming Languages and Systems (TOPLAS)
A security architecture for fault-tolerant systems
ACM Transactions on Computer Systems (TOCS) - Special issue on computer architecture
Multicast security and its extension to a mobile environment
Wireless Networks
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In a distributed system, it is often important to detect the causal relationships between events, where event el is causally before event e2 if e1 happened before e2 and could possibly have affected the occurrence of e2. 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 of a security policy that a process be able to determine if two events are causally related, and if so, how. We formulate attacks on causality in terms of causal denial and forgery, formalize possible securitygoals with respect to causality, and present simple algorithms to attain these goals in some situations,