Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: b applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located in the application layer increases steadily. b Application Firewalls (WAFs) play an important role in preventing exploitation of vulnerabilities in b applications. Hover, WAFs are very pragmatic and ad hoc, and it is very hard to state precisely what security guarantees they offer.The main contribution of this paper is that it shows how, through a combination of static and dynamic verification, WAFs can formally guarantee the absence of certain kinds of erroneous behaviour in b applications.  have done a prototype implementation of our approach building on an existing static verification tool for Java, and  have applied our approach to a medium-sized J2EE based b application.
['Lieven Desmet', 'Frank Piessens', 'Wouter Joosen', 'Pierre Verbaeten']
I am writing a research paper on a idea Bridging the gap between web application firewalls and web applications
[{"from": "human", "value": "I am writing a research paper on a idea Bridging the gap between web application firewalls and web applications"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: b applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located in the application layer increases steadily. b Application Firewalls (WAFs) play an important role in preventing exploitation of vulnerabilities in b applications. Hover, WAFs are very pragmatic and ad hoc, and it is very hard to state precisely what security guarantees they offer.The main contribution of this paper is that it shows how, through a combination of static and dynamic verification, WAFs can formally guarantee the absence of certain kinds of erroneous behaviour in b applications.  have done a prototype implementation of our approach building on an existing static verification tool for Java, and  have applied our approach to a medium-sized J2EE based b application."}]