Entry Hamlen:2006:CCE from toplas.bib

Last update: Tue May 1 02:05:46 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | 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{Hamlen:2006:CCE,
  author =       "Kevin W. Hamlen and Greg Morrisett and Fred B.
                 Schneider",
  title =        "Computability classes for enforcement mechanisms",
  journal =      j-TOPLAS,
  volume =       "28",
  number =       "1",
  pages =        "175--205",
  month =        jan,
  year =         "2006",
  CODEN =        "ATPSDT",
  DOI =          "http://doi.acm.org/10.1145/1111596.1111601",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Tue Jan 24 05:55:31 MST 2006",
  bibsource =    "http://www.acm.org/pubs/contents/journals/toplas/;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  abstract =     "A precise characterization of those security policies
                 enforceable by program rewriting is given. This also
                 exposes and rectifies problems in prior work, yielding
                 a better characterization of those security policies
                 enforceable by execution monitors as well as a taxonomy
                 of enforceable security policies. Some but not all
                 classes can be identified with known classes from
                 computational complexity theory.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
}

Related entries