Operational Semantics and Verification of Security Protocols

MLA

Cremers, Cas, and Sjouke Mauw. Operational Semantics and Verification of Security Protocols. Springer Berlin Heidelberg, 2012.

APA

Cremers, C., & Mauw, S. (2012). Operational Semantics and Verification of Security Protocols. Springer Berlin Heidelberg.

Chicago

Cremers, Cas, and Sjouke Mauw. Operational Semantics and Verification of Security Protocols. : Springer Berlin Heidelberg, 2012.