APA Style
Cortier, Veronique, Kremer, Steve. (2011).
Formal models and techniques for analyzing security protocols .
Amsterdam:
IOS Press.
Chicago Style
Cortier, Veronique, Kremer, Steve.
Formal models and techniques for analyzing security protocols.
Amsterdam:
IOS Press,
2011.
E-Book.
MLA Style
Cortier, Veronique, Kremer, Steve.
Formal models and techniques for analyzing security protocols.
Amsterdam:
IOS Press,
2011.
E-Book.
Turabian Style
Cortier, Veronique, Kremer, Steve.
Formal models and techniques for analyzing security protocols.
Amsterdam:
IOS Press,
2011.
E-Book.