APA (7th ed.) Citation

SpringerLink (Online service), Armando, A., & Lowe, G. (2011). Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers. Springer eBooks..

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Alessandro Armando, and Gavin Lowe. "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers." Springer EBooks. 2011.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers." Springer EBooks., 2011.