Login / Signup
Tarek M. I. El-Sakka
Publication Activity (10 Years)
Years Active: 2007-2014
Publications (10 Years): 0
Top Topics
Description Language
First Order Logic
Formal Specification
Model Checker
Top Venues
Int. J. Netw. Secur.
</>
Publications
</>
Tarek M. I. El-Sakka
,
Mohammed Zaki
Using Predicate-based Model Checker for Verifying E-Commerce Protocols.
Int. J. Netw. Secur.
16 (2) (2014)
Mostafa Gadal-Haqq M. Mostafa
,
Tarek M. I. El-Sakka
An Autonomous E-Commerce System using Intelligent Agents.
Egypt. Comput. Sci. J.
29 (2) (2007)