Title :
Globally consistent event ordering in one-directional distributed environments
Author :
Ammann, Paul ; Jajodia, Sushil ; Frankl, G.
Author_Institution :
Center for Secure Inf. Syst., George Mason Univ., Fairfax, VA, USA
fDate :
6/1/1996 12:00:00 AM
Abstract :
We consider communication structures for event ordering algorithms in distributed environments where information flows only in one direction. Example applications are multilevel security and hierarchically decomposed databases. Although the most general one directional communication structure is a partial order, partial orders do not enjoy the property of being consistently ordered, a formalization of the notion that local ordering decisions are ensured to be globally consistent. Our main result is that the crown free property is necessary and sufficient for a communication structure to be consistently ordered. We discuss the computational complexity of detecting crowns and sketch typical applications.
Keywords :
computational complexity; distributed databases; graph theory; parallel algorithms; communication structures; computational complexity; consistently ordered; crown free property; event ordering algorithms; globally consistent event ordering; hierarchically decomposed databases; local ordering decisions; multilevel databases; multilevel security; one directional distributed environments; partial orders; Application software; Clocks; Computational complexity; Computer Society; Computer networks; Counting circuits; Data security; Distributed computing; Distributed databases; Multilevel systems;
Journal_Title :
Parallel and Distributed Systems, IEEE Transactions on