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