Privacy, Abstract Encryption and Protocols: An ASM Model - Part I