APA Style
Bella, G.
(2007).
Formal Correctness Of Security Protocols
.
New York:
Springer.
MLA Style
Bella, Giampaolo.
"Formal Correctness Of Security Protocols".
New York:
Springer,
2007.
Text.