• DocumentCode
    1058880
  • 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
  • Volume
    7
  • Issue
    6
  • fYear
    1996
  • fDate
    6/1/1996 12:00:00 AM
  • Firstpage
    665
  • Lastpage
    670
  • 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;
  • fLanguage
    English
  • Journal_Title
    Parallel and Distributed Systems, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    1045-9219
  • Type

    jour

  • DOI
    10.1109/71.506704
  • Filename
    506704