APA (7th ed.) Citation

Hoang, T. S., McIver, A. K., Meinicke, L., Morgan, C. C., Sloane, A., & Susatyo, E. (2014). Abstractions of non-interference security: Probabilistic versus possibilistic. Formal Aspects of Computing, 26(1), 169-194. https://doi.org/10.1007/s00165-012-0237-4

Chicago Style (17th ed.) Citation

Hoang, Thai Son, Annabelle K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, and Enrico Susatyo. "Abstractions of Non-interference Security: Probabilistic Versus Possibilistic." Formal Aspects of Computing 26, no. 1 (2014): 169-194. https://doi.org/10.1007/s00165-012-0237-4.

MLA (9th ed.) Citation

Hoang, Thai Son, et al. "Abstractions of Non-interference Security: Probabilistic Versus Possibilistic." Formal Aspects of Computing, vol. 26, no. 1, 2014, pp. 169-194, https://doi.org/10.1007/s00165-012-0237-4.