Vol. 6 No. 1 (2017)

Articles

• The magic of internet protocol

  • 

  Khaldoun Batiha

  https://doi.org/10.14419/jacst.v6i1.6714

  1-12

• Enhancing formal specification and verification of e-commerce protocol

  • 

  Hasan Al-Refai, Khaldoun Batiha

  https://doi.org/10.14419/jacst.v6i1.6713

  13-19