Structural modeling and verification of web applications
Mohammed Yahya Alzahrani, Lilia Georgieva · 2018
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.