MLA

Aldini, Alessandro, et al. Foundations of Security Analysis and Design Iv. Springer Berlin Heidelberg, 2007.

APA

Aldini, A., Gorrieri, R., Kanade, T., & Kittler, J. (2007). Foundations of Security Analysis and Design IV. Springer Berlin Heidelberg.

Chicago

Aldini, Alessandro, Roberto Gorrieri, Takeo Kanade, and Josef Kittler. Foundations of Security Analysis and Design IV. : Springer Berlin Heidelberg, 2007.