Markus Kaiser and  Johannes Buchmann,  A Formal Approach for Proof Constructions in Cryptography.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    February 2008, vol. 14(2). 587 - 594
    [viewed 08 May 2024]. Available from: https://publications.waset.org/pdf/5664.