Book

Formal Aspects in Security and Trust

by Theo Dimitrakos, Fabio Martinelli