@Article{Ligatti:2005:EAE,
  author =       "Jay Ligatti and Lujo Bauer and David Walker",
  title =        "Edit automata: enforcement mechanisms for run-time
                 security policies",
  journal =      j-INT-J-INFO-SEC,
  volume =       "4",
  number =       "1--2",
  pages =        "2--16",
  month =        feb,
  year =         "2005",
  CODEN =        "????",
  DOI =          "https://doi.org/10.1007/s10207-004-0046-8",
  ISSN =         "1615-5262 (print), 1615-5270 (electronic)",
  ISSN-L =       "1615-5262",
  bibdate =      "Tue Jan 23 16:01:24 MST 2018",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/intjinfosec.bib",
  URL =          "http://link.springer.com/article/10.1007/s10207-004-0046-8",
  acknowledgement = ack-nhfb,
  fjournal =     "International Journal of Information Security",
  journal-URL =  "https://link.springer.com/journal/10207",
}

{"_id":"qZXkyWBxitKPsoP2G","bibbaseid":"ligatti-bauer-walker-editautomataenforcementmechanismsforruntimesecuritypolicies-2005","author_short":["Ligatti, J.","Bauer, L.","Walker, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Jay"],"propositions":[],"lastnames":["Ligatti"],"suffixes":[]},{"firstnames":["Lujo"],"propositions":[],"lastnames":["Bauer"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Walker"],"suffixes":[]}],"title":"Edit automata: enforcement mechanisms for run-time security policies","journal":"International Journal of Information Security","volume":"4","number":"1–2","pages":"2–16","month":"February","year":"2005","coden":"????","doi":"https://doi.org/10.1007/s10207-004-0046-8","issn":"1615-5262 (print), 1615-5270 (electronic)","issn-l":"1615-5262","bibdate":"Tue Jan 23 16:01:24 MST 2018","bibsource":"https://www.math.utah.edu/pub/tex/bib/intjinfosec.bib","url":"http://link.springer.com/article/10.1007/s10207-004-0046-8","acknowledgement":"Nelson H. F. Beebe, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, e-mail: \\path|beebe@math.utah.edu|, \\path|beebe@acm.org|, \\path|beebe@computer.org| (Internet), URL: \\path|https://www.math.utah.edu/ beebe/|","fjournal":"International Journal of Information Security","journal-url":"https://link.springer.com/journal/10207","bibtex":"@Article{Ligatti:2005:EAE,\n author = \"Jay Ligatti and Lujo Bauer and David Walker\",\n title = \"Edit automata: enforcement mechanisms for run-time\n security policies\",\n journal = j-INT-J-INFO-SEC,\n volume = \"4\",\n number = \"1--2\",\n pages = \"2--16\",\n month = feb,\n year = \"2005\",\n CODEN = \"????\",\n DOI = \"https://doi.org/10.1007/s10207-004-0046-8\",\n ISSN = \"1615-5262 (print), 1615-5270 (electronic)\",\n ISSN-L = \"1615-5262\",\n bibdate = \"Tue Jan 23 16:01:24 MST 2018\",\n bibsource = \"https://www.math.utah.edu/pub/tex/bib/intjinfosec.bib\",\n URL = \"http://link.springer.com/article/10.1007/s10207-004-0046-8\",\n acknowledgement = ack-nhfb,\n fjournal = \"International Journal of Information Security\",\n journal-URL = \"https://link.springer.com/journal/10207\",\n}\n\n","author_short":["Ligatti, J.","Bauer, L.","Walker, D."],"key":"Ligatti:2005:EAE","id":"Ligatti:2005:EAE","bibbaseid":"ligatti-bauer-walker-editautomataenforcementmechanismsforruntimesecuritypolicies-2005","role":"author","urls":{"Paper":"http://link.springer.com/article/10.1007/s10207-004-0046-8"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"ftp.math.utah.edu/pub/tex/bib/intjinfosec.bib","dataSources":["fEXH7XH8oyBtpzKFi"],"keywords":[],"search_terms":["edit","automata","enforcement","mechanisms","run","time","security","policies","ligatti","bauer","walker"],"title":"Edit automata: enforcement mechanisms for run-time security policies","year":2005}