Formal Aspects in Security and Trust

MLA

Dimitrakos, Theo, et al. Formal Aspects In Security and Trust. Springer Berlin Heidelberg, 2007.

APA

Dimitrakos, T., Kanade, T., Martinelli, F., Ryan, P. Y. A, Schneider, S., & Kittler, J. (2007). Formal Aspects in Security and Trust. Springer Berlin Heidelberg.

Chicago

Dimitrakos, Theo, Takeo Kanade, Fabio Martinelli, Peter Y. A Ryan, Steve Schneider, and Josef Kittler. Formal Aspects In Security and Trust. : Springer Berlin Heidelberg, 2007.