@article{ dblp1723930,
  title = {Abstractions of non-interference security: probabilistic versus possibilistic},
  author = {Thai Son Hoang and A. K. McIver and Larissa Meinicke and Carroll C. Morgan and A. Sloane and E. Susatyo},
  author_short = {Son Hoang, T. and McIver, A. K. and Meinicke, L. and Morgan, C. C. and Sloane, A. and Susatyo, E.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1723930},
  id = {dblp1723930},
  biburl = {http://www.dblp.org/rec/bibtex/journals/fac/HoangMMMSS14},
  url = {http://dx.doi.org/10.1007/s00165-012-0237-4},
  journal = {Formal Asp. Comput. (FAC)},
  pages = {169-194},
  number = {1},
  volume = {26},
  text = {Formal Asp. Comput. (FAC) 26(1):169-194 (2014)}
}

{"_id":"dAPSZPwioduE4qnyp","bibbaseid":"sonhoang-mciver-meinicke-morgan-sloane-susatyo-abstractionsofnoninterferencesecurityprobabilisticversuspossibilistic-2014","downloads":0,"creationDate":"2015-06-12T22:13:32.558Z","title":"Abstractions of non-interference security: probabilistic versus possibilistic","author_short":["Son Hoang, T.","McIver, A. K.","Meinicke, L.","Morgan, C. C.","Sloane, A.","Susatyo, E."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fac/HoangMMMSS14","bibdata":{"title":"Abstractions of non-interference security: probabilistic versus possibilistic","author":["Thai Son Hoang","A. K. McIver","Larissa Meinicke","Carroll C. Morgan","A. Sloane","E. Susatyo"],"author_short":["Son Hoang, T.","McIver, A. K.","Meinicke, L.","Morgan, C. C.","Sloane, A.","Susatyo, E."],"bibtype":"article","type":"article","year":"2014","key":"dblp1723930","id":"dblp1723930","biburl":"http://www.dblp.org/rec/bibtex/journals/fac/HoangMMMSS14","url":"http://dx.doi.org/10.1007/s00165-012-0237-4","journal":"Formal Asp. Comput. (FAC)","pages":"169-194","number":"1","volume":"26","text":"Formal Asp. Comput. (FAC) 26(1):169-194 (2014)","bibtex":"@article{ dblp1723930,\n title = {Abstractions of non-interference security: probabilistic versus possibilistic},\n author = {Thai Son Hoang and A. K. McIver and Larissa Meinicke and Carroll C. Morgan and A. Sloane and E. Susatyo},\n author_short = {Son Hoang, T. and McIver, A. K. and Meinicke, L. and Morgan, C. C. and Sloane, A. and Susatyo, E.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1723930},\n id = {dblp1723930},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fac/HoangMMMSS14},\n url = {http://dx.doi.org/10.1007/s00165-012-0237-4},\n journal = {Formal Asp. Comput. (FAC)},\n pages = {169-194},\n number = {1},\n volume = {26},\n text = {Formal Asp. Comput. (FAC) 26(1):169-194 (2014)}\n}","bibbaseid":"sonhoang-mciver-meinicke-morgan-sloane-susatyo-abstractionsofnoninterferencesecurityprobabilisticversuspossibilistic-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s00165-012-0237-4"},"downloads":0},"search_terms":["abstractions","non","interference","security","probabilistic","versus","possibilistic","son hoang","mciver","meinicke","morgan","sloane","susatyo"],"keywords":[],"authorIDs":[],"dataSources":["M4go8HzLWz6rtrJ2i"]}