APA (7th ed.) Citation

Bella, G. (2007). Formal correctness of security protocols. Springer. https://doi.org/10.1007/978-3-540-68136-6

Chicago Style (17th ed.) Citation

Bella, Giampaolo. Formal Correctness of Security Protocols. Berlin ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-68136-6.

MLA (9th ed.) Citation

Bella, Giampaolo. Formal Correctness of Security Protocols. Springer, 2007. https://doi.org/10.1007/978-3-540-68136-6.