A Formal Model of Cryptographic Systems for Protection of Information in Computer Systems and Networks Publication Type: Conference Proceedings Authors: Veselin Tselkov; Nikolai Stoianov Source: Bulgarian Cryptography Days – BulCrypt 2012, Sofia, Bulgaria, p.15-29 (2012)
