An Autonomous E-Commerce System using Intelligent Agents. - Mostafa Gadal-Haqq M. Mostafa; Tarek M. I. El-Sakka (Egypt. Comput. Sci. J., 2007)

Using Predicate-based Model Checker for Verifying E-Commerce Protocols. - Tarek M. I. El-Sakka; Mohammed Zaki 001 (Int. J. Netw. Secur., 2014)