Entry Alexander:2015:MCD 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{Alexander:2015:MCD,
  author =       "Perry Alexander and Lee Pike and Peter Loscocco and
                 George Coker",
  title =        "Model Checking Distributed Mandatory Access Control
                 Policies",
  journal =      j-TISSEC,
  volume =       "18",
  number =       "2",
  pages =        "6:1--6:??",
  month =        dec,
  year =         "2015",
  CODEN =        "ATISBQ",
  DOI =          "https://doi.org/10.1145/2785966",
  ISSN =         "1094-9224 (print), 1557-7406 (electronic)",
  ISSN-L =       "1094-9224",
  bibdate =      "Mon Dec 21 18:18:49 MST 2015",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/tissec.bib",
  abstract =     "This work examines the use of model checking
                 techniques to verify system-level security properties
                 of a collection of interacting virtual machines.
                 Specifically, we examine how local access control
                 policies implemented in individual virtual machines and
                 a hypervisor can be shown to satisfy global access
                 control constraints. The SAL model checker is used to
                 model and verify a collection of stateful domains with
                 protected resources and local MAC policies attempting
                 to access needed resources from other domains. The
                 model is described along with verification conditions.
                 The need to control state-space explosion is motivated
                 and techniques for writing theorems and limiting
                 domains explored. Finally, analysis results are
                 examined along with analysis complexity.",
  acknowledgement = ack-nhfb,
  articleno =    "6",
  fjournal =     "ACM Transactions on Information and System Security",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J789",
}

Related entries