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.