Entry Halpern:2008:UFO from tissec.bib

Last update: Sun Oct 15 02:58:48 MDT 2017                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Halpern:2008:UFO,
  author =       "Joseph Y. Halpern and Vicky Weissman",
  title =        "Using First-Order Logic to Reason about Policies",
  journal =      j-TISSEC,
  volume =       "11",
  number =       "4",
  pages =        "21:1--21:??",
  month =        jul,
  year =         "2008",
  CODEN =        "ATISBQ",
  DOI =          "https://doi.org/10.1145/1380564.1380569",
  ISSN =         "1094-9224 (print), 1557-7406 (electronic)",
  ISSN-L =       "1094-9224",
  bibdate =      "Tue Aug 5 19:37:22 MDT 2008",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/tissec.bib",
  abstract =     "A policy describes the conditions under which an
                 action is permitted or forbidden. We show that a
                 fragment of (multi-sorted) first-order logic can be
                 used to represent and reason about policies. Because we
                 use first-order logic, policies have a clear syntax and
                 semantics. We show that further restricting the
                 fragment results in a language that is still quite
                 expressive yet is also tractable. More precisely,
                 questions about entailment, such as ``May Alice access
                 the file?'', can be answered in time that is a
                 low-order polynomial (indeed, almost linear in some
                 cases), as can questions about the consistency of
                 policy sets.",
  acknowledgement = ack-nhfb,
  articleno =    "21",
  fjournal =     "ACM Transactions on Information and System Security",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J789",
  keywords =     "digital rights management",
}

Related entries