Model checking techniques for vulnerability analysis of Web applications رسالة دكتوراه