APA (7th ed.) Citation
Bella, G. (2007). Formal Correctness of Security Protocols. Springer Verlag.
Chicago Style (17th ed.) Citation
Bella, Giampaolo. Formal Correctness of Security Protocols. Berlin: Springer Verlag, 2007.
MLA (9th ed.) Citation
Bella, Giampaolo. Formal Correctness of Security Protocols. Springer Verlag, 2007.
Warning: These citations may not always be 100% accurate.