Stoianov, Nikolai Todorov, and Veselin Tsenov Tselkov. E-Net Models of a Software System for E-Mail Security In Computer Science, Cryptography and Security., 2010.