A Formal Model of Cryptographic Systems for Protection of Information in Computer Systems and Networks In Bulgarian Cryptography Days ? BulCrypt 2012. Sofia, Bulgaria, 2012.