Khair Eddin Sabri and  Ridha Khedri and  Jason Jaskolka,  Specification of Agent Explicit Knowledge in Cryptographic Protocols.   journal   = {International Journal of Information and Communication Engineering}, [online]. World Academy of Science, Engineering and Technology.
    August 2008, vol. 20(8). 2634 - 2641
    [viewed 21 October 2019]. Available from: https://publications.waset.org/pdf/820.