Gerd Beuster: A methodology for secure interactive systems. University of Koblenz-Landau 2008