A Verification Framework for Access Control in Dynamic Web Applications
Current technologies such as anti-virus software programs and network firewalls provide reasonably secure protection at the host and network levels, but not at the application level. When network and host-level entry points are comparatively secure, public interfaces of web applications become the f...
Main Author: | Alalfi, Manar |
---|---|
Other Authors: | Queen's University (Kingston, Ont.). Theses (Queen's University (Kingston, Ont.)) |
Language: | en en |
Published: |
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/1974/5651 |
Similar Items
-
Pragmatic model verification
by: Gonzalez Perez, Carlos Alberto
Published: (2014) -
Sequence Diagrams Integration via Typed Graphs: Theory and Implementation
by: LIANG, HONGZHI
Published: (2009) -
Formal Specification and Verification of Data-Centric Web Services
by: Moustafa, Iman Saleh
Published: (2014) -
Model Transformation Languages with Modular Information Hiding
Published: (2015) -
Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels
by: Kulankhina, Oleksandra
Published: (2016)