APA (7th ed.) Citation

Aldini, A., & Bernardo, M. (2011). Component-oriented verification of noninterference. Journal of Systems Architecture, 57(3), 282. https://doi.org/10.1016/j.sysarc.2010.06.005

Chicago Style (17th ed.) Citation

Aldini, Alessandro, and Marco Bernardo. "Component-oriented Verification of Noninterference." Journal of Systems Architecture 57, no. 3 (2011): 282. https://doi.org/10.1016/j.sysarc.2010.06.005.

MLA (9th ed.) Citation

Aldini, Alessandro, and Marco Bernardo. "Component-oriented Verification of Noninterference." Journal of Systems Architecture, vol. 57, no. 3, 2011, p. 282, https://doi.org/10.1016/j.sysarc.2010.06.005.