@TechReport{BeckertBeuster2004,
author = {Bernhard Beckert and Gerd Beuster},
title = {Formal Specification of Security-relevant Properties of
User Interfaces},
institution = {Department of Computer Science, University of Koblenz},
series = {Technical Reports in Computer Science
(Fachberichte Informatik)},
number = {10-2004},
year = {2004}
}