A Formal Model of Cryptographic Systems for Protection of Information in Computer Systems and Networks Вид публикации: Conference Proceedings Авторы: Veselin Tselkov; Nikolai Stoianov Источник: Bulgarian Cryptography Days – BulCrypt 2012, Sofia, Bulgaria, p.15-29 (2012)
