Sabri, K. , Khedri, R. , Jaskolka, J. (2008), 'Specification of Agent Explicit Knowledge in Cryptographic Protocols', World Academy of Science, Engineering and Technology, Open Science Index 20, International Journal of Information and Communication Engineering, 2(8), 2634 - 2641.