Formal Aspects of Security and Trustby Gilles Barthe, Anupam Datta, Sandro EtalleWriting a summary for young readers…For young readersBook data: Open Library