The magic of internet protocol Author: Khaldoun Batiha Pages: 1-12 Date Published: 08-02-2017 Download PDF View Full Article
Enhancing formal specification and verification of e-commerce protocol Author: Hasan Al-Refai, Khaldoun Batiha Pages: 13-19 Date Published: 26-02-2017 Download PDF View Full Article
