Detecting and Preventing SQL Injection Attacks: A Formal Approach | IEEE Conference Publication | IEEE Xplore