Abstractions of non-interference security: probabilistic versus possibilistic. Son Hoang, T., McIver, A. K., Meinicke, L., Morgan, C. C., Sloane, A., & Susatyo, E. Formal Asp. Comput. (FAC), 26(1):169-194, 2014.
Abstractions of non-interference security: probabilistic versus possibilistic [link]Paper  bibtex   
@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)}
}

Downloads: 0