Formal Aspects in Security and Trust - Joshua D. Guttman - E-bok | Bokus