Christian Bockermann, Ingo Mierswa, Katharina Morik. On the Automated Creation of Understandable Positive Security Models for Web Applications. In Joachim Baumeister, Martin Atzmüller, editors, LWA 2008 - Workshop-Woche: Lernen, Wissen & Adaptivität, Würzburg, 6.-8. Oktober 2008, Proceedings. Volume 448 of Technical Report, pages 12-17, Department of Computer Science, University of Würzburg, Germany, 2008.
Abstract is missing.