Abstractions of Non-interference Security: Probabilistic versus Possibilistic (BiBTeX)

@Article{hoang14:_abstr_non_secur,
  author = 	 {Thai Son Hoang and Annabelle McIver and Larrisa Meinicke and Carroll Morgan and Anthony Sloane and Enrico Susatyo},
  title = 	 {Abstractions of Non-interference Security: Probabilistic versus Possibilistic},
  journal = 	 {Formal Aspects of Computing},
  year = 	 2014,
  month =        jan,
  volume =       26,
  number =       1,
  pages =        {169--194},
  publisher =    {Springer-Verlag},
  note = 	 {\url{http://dx.doi.org/10.1007/s00165-012-0237-4}}
}