APA Style
Bella, G., Maurer, U.
(2007).
Formal correctness of security protocols
(
--)
.
New York:
Springer.
MLA Style
Bella, Giampaolo., Maurer, Ueli.
"Formal correctness of security protocols".
--
New York:
Springer,
2007.
Text.