Bella, G. (2007). Formal Correctness of Security Protocols (1st ed. 2007.). Springer Berlin Heidelberg : Imprint: Springer.
Cita Chicago Style (17a ed.)Bella, Giampaolo. Formal Correctness of Security Protocols. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2007.
Cita MLA (8a ed.)Bella, Giampaolo. Formal Correctness of Security Protocols. 1st ed. 2007. Springer Berlin Heidelberg : Imprint: Springer, 2007.
Precaución: Estas citas no son 100% exactas.