Introduction to Security Reduction - Guo, Fuchun. (Springer International Publishing,)