MLA

Aldini, Alessandro, et al. Foundations of Security Analysis and Design V. Springer Berlin Heidelberg, 2009.

APA

Aldini, A., Barthe, G., Gorrieri, R., & Kanade, T. (2009). Foundations of Security Analysis and Design V. Springer Berlin Heidelberg.

Chicago

Aldini, Alessandro, Gilles Barthe, Roberto Gorrieri, and Takeo Kanade. Foundations of Security Analysis and Design V. : Springer Berlin Heidelberg, 2009.