Formal Aspects in Security and Trust

MLA

Degano, Pierpaolo, et al. Formal Aspects In Security and Trust. Springer Berlin Heidelberg, 2009.

APA

Degano, P., Guttman, J., Kanade, T., Martinelli, F., & Guttman, J. D. (2009). Formal Aspects in Security and Trust. Springer Berlin Heidelberg.

Chicago

Degano, Pierpaolo, Joshua Guttman, Takeo Kanade, Fabio Martinelli, and Joshua D Guttman. Formal Aspects In Security and Trust. : Springer Berlin Heidelberg, 2009.