Amjad Hudaib

Work place: King Abdullah II School for Information Technology the University of Jordan, Amman, Jordan



Research Interests: Computational Science and Engineering, Computational Engineering, Software Construction, Software Development Process, Software Engineering, Computer systems and computational processes, Data Structures and Algorithms


Prof. Amjad Ahmad Hudaib obtained his Bc in computer Science from Mutah University in 1991, then he completed his study in a master of computer science from The University of Jordan in 2000, and Ph.D. In Computer Science/ Software Engineering from University of Pisa, Pisa, Italy, he works as Professor in The University of Jordan, form 2016 until now. He interests in Software Engineering, Pattern Matching, Software Architectural Design, Systems Engineering and Tools, Requirements Engineering, Software Testing and Evaluation, Image Processing, Data Mining, Quality Assurance.

Author Articles
Verification of Web Content Integrity: Detection and Recovery Security Approach using Colored Petri Nets

By Sherin Hijazi Amjad Hudaib

DOI:, Pub. Date: 8 Oct. 2018

This paper focuses on the design model verification processes to reduce modification cost after the software is delivered. We proposed a new design flow of web content integrity to protect web security by using colored petri nets simulation. The method covers the design process from the firewall stage to the recovery stage. In the proposed solution, the model verified the integrity of web content through detection tampering and recovery web content processes. Furthermore, the specification formally verifies the model checking technique by colored Petri nets formalism. Finally, the model is simulated by colored petri nets to insure the correct behavior of the designed web content integrity model.

[...] Read more.
Other Articles