MLA
Pironti, Alfredo, et al. "Automated Formal Methods for Security Protocol Engineering." Cyber Security Standards, Practices and Industrial Applications: Systems and Methodologies, edited by Junaid Ahmed Zubairi and Athar Mahboob, IGI Global, 2012, pp. 138-166. https://doi.org/10.4018/978-1-60960-851-4.ch008
APA
Pironti, A., Pozza, D., & Sisto, R. (2012). Automated Formal Methods for Security Protocol Engineering. In J. Zubairi & A. Mahboob (Eds.), Cyber Security Standards, Practices and Industrial Applications: Systems and Methodologies (pp. 138-166). IGI Global. https://doi.org/10.4018/978-1-60960-851-4.ch008
Chicago
Pironti, Alfredo, Davide Pozza, and Riccardo Sisto. "Automated Formal Methods for Security Protocol Engineering." In Cyber Security Standards, Practices and Industrial Applications: Systems and Methodologies, edited by Junaid Ahmed Zubairi and Athar Mahboob, 138-166. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-851-4.ch008
Export Reference