Matthias Büchler, Johan Oudinet, Alexander Pretschner. Semi-Automatic Security Testing of Web Applications from a Secure Model. In Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012. pages 253-262, IEEE, 2012. [doi]
Abstract is missing.