Structural modeling and verification of web applications

Mohammed Alzahrani, Lilia Georgieva

Research output: Chapter in Book/Report/Conference proceedingConference contribution


The complex structure and rapid development of web applications can lead to vulnerabilities and flaws that can compromise sensitive data. Detecting these vulnerabilities at the early stages of development cycle ensures that they are easier and cheaper to fix. Structural modeling of web applications is becoming increasingly important for detection, and subsequent elimination of such flaws. In this paper we analyze structural models of web applications. We use the model checking tools Spin and Uppaal to model dynamic navigation flow. We simulate and verify time-bound navigation properties by examining the sequence of actions that a user would make when interacting with the application. We compare the usefulness of the modeling tools for analysis of users’ behavior.

Original languageEnglish
Title of host publicationProceedings of the 8th International Conference on Web Intelligence, Mining and Semantics
PublisherAssociation for Computing Machinery
ISBN (Electronic)9781450354899
Publication statusPublished - 25 Jun 2018
Event8th International Conference on Web Intelligence, Mining and Semantics 2018 - Novi Sad, Serbia
Duration: 25 Jun 201827 Jun 2018


Conference8th International Conference on Web Intelligence, Mining and Semantics 2018
Abbreviated titleWIMS 2018
CityNovi Sad


  • Integrity
  • Modeling
  • Privacy
  • Trust
  • Web applications
  • Web security

ASJC Scopus subject areas

  • Human-Computer Interaction
  • Computer Networks and Communications
  • Computer Vision and Pattern Recognition
  • Software


Dive into the research topics of 'Structural modeling and verification of web applications'. Together they form a unique fingerprint.

Cite this