Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

MLA

Armando, Alessandro, et al. Automated Reasoning for Security Protocol Analysis and Issues In the Theory of Security. Springer Berlin Heidelberg, 2010.

APA

Armando, A., Kanade, T., Lowe, G., & Kittler, J. (2010). Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Springer Berlin Heidelberg.

Chicago

Armando, Alessandro, Takeo Kanade, Gavin Lowe, and Josef Kittler. Automated Reasoning for Security Protocol Analysis and Issues In the Theory of Security. : Springer Berlin Heidelberg, 2010.