Introduction to Security Reduction