Formal Aspects in Security and Trustby Pierpaolo Degano, Joshua Guttman, Fabio MartinelliWriting a summary for young readers…For young readersBook data: Open Library