Formal Correctness of Security Protocols

MLA

Bella, Giampaolo, Martin Abadi, and Ross Anderson. Formal Correctness of Security Protocols. Springer Berlin Heidelberg, 2007.

APA

Bella, G., Abadi, M., & Anderson, R. (2007). Formal Correctness of Security Protocols. Springer Berlin Heidelberg.

Chicago

Bella, Giampaolo, Martin Abadi, and Ross Anderson. Formal Correctness of Security Protocols. : Springer Berlin Heidelberg, 2007.