@phdthesis{Beuster2008,
  author    = {Beuster, Gerd},
  title     = {A methodology for secure interactive systems},
  url       = {https://nbn-resolving.org/urn:nbn:de:hbz:kob7-2875},
  institution = {Institut f{\"u}r Informatik},
  school    = {Universit{\"a}t Koblenz-Landau, Campus Koblenz, Universit{\"a}tsbibliothek},
  pages     = {xii, 206},
  year      = {2008},
  abstract  = {This dissertation introduces a methodology for formal specification and verification of user interfaces under security aspects. The methodology allows to use formal methods pervasively in the specification and verification of human-computer interaction. This work consists of three parts. In the first part, a formal methodology for the description of human-computer interaction is developed. In the second part, existing definitions of computer security are adapted for human-computer interaction and formalized. A generic formal model of human-computer interaction is developed. In the third part, the methodology is applied to the specification and verification of a secure email client.},
  language  = {en}
}