Sabri, K. , Khedri, R. , Jaskolka, J.. "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, (2008), 2(8), 2634 - 2641.