APA (7th ed.) Citation

Bella, G. (2007). Formal Correctness of Security Protocols: With 62 Figures and 4 Tables. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Bella, Giampaolo. Formal Correctness of Security Protocols: With 62 Figures and 4 Tables. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.

MLA (8th ed.) Citation

Bella, Giampaolo. Formal Correctness of Security Protocols: With 62 Figures and 4 Tables. Springer Berlin Heidelberg, 2007.

Warning: These citations may not always be 100% accurate.