Book

Formal Aspects in Security and Trust

by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan