Christian Bockermann, Ingo Mierswa, Katharina Morik: On the Automated Creation of Understandable Positive Security Models for Web Applications. PerCom 2008: 554-559