Παραπομπή APA

Bella, G. (2007). Formal correctness of security protocols. Berlin: Springer.

Παραπομπή Chicago Style

Bella, Giampaolo. Formal Correctness of Security Protocols. Berlin: Springer, 2007.

Παραπομπή MLA

Bella, Giampaolo. Formal Correctness of Security Protocols. Berlin: Springer, 2007.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.