Provable Securityby Tatsuaki Okamoto, Yong Yu, Man Ho Au, Yannan LiComputer securityWriting a summary for young readers…For young readersBook data: Open Library