Zaslat SMS: Introduction to Cryptographic Definitions