Abstract
It is well known that given a poset, $X$, the lattice of order ideals of $X$, $ixsubseteq$, is a completion of $X$ via the order-embedding $X hookrightarrow where $x) = x$. Herein we define a lattice of antichains in $X$, $axpe$, and prove it is isomorphic to $ixsubseteq$. We establish the ``join'' and ``meet'' operations of the lattice, and present results for $axpe$ analogous to standard results for $ixsubseteq$, including Birkhoff's Representation Theorem for finite distributive lattices and a Dedekind-MacNeille-style completion using antichains. We also discuss the relevance and application of completions using antichains to access control in computer science, in particular with reference to role-based access control and to modelling conflict of interest policies.
Original language | English |
---|---|
Pages (from-to) | 223-238 |
Number of pages | 16 |
Journal | International Mathematical Journal |
Volume | 1 |
Issue number | 3 |
Publication status | Published - 2001 |