Foundations of Security, Protocols, and Equational Reasoning

MLA

Guttman, et al. Foundations of Security, Protocols, and Equational Reasoning. Springer International Publishing, 2019.

APA

Guttman, G., Landwehr, C. E, Meseguer, J., & Pavlovic, D. (2019). Foundations of Security, Protocols, and Equational Reasoning. Springer International Publishing.

Chicago

Guttman, Carl E Landwehr, José Meseguer, and Dusko Pavlovic. Foundations of Security, Protocols, and Equational Reasoning. : Springer International Publishing, 2019.