@InProceedings{Beckert:ICFEM06-55,
  author =       "Bernhard Beckert and Gerd Beuster",
  title =        "A Method for Formalizing, Analyzing, and Verifying
                 Secure User Interfaces",
  pages =        "55--73",
  ee =           "http://dx.doi.org/10.1007/11901433_4",
  URL =          "http://www.uni-koblenz.de/~beckert/pub/icfem2006.pdf",
  editor =       "Zhiming Liu and Jifeng He",
  booktitle =    "Formal Methods and Software Engineering, 8th
                 International Conference on Formal Engineering Methods,
                 ICFEM 2006, Macao, China, November 1-3, 2006,
                 Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4260",
  year =         "2006",
  ISBN =         "3-540-47460-9",
}