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 19 April 2024]. Available from: https://publications.waset.org/pdf/820.