@InProceedings{BeckertBeuster2006,
author = {Bernhard Beckert and Gerd Beuster},
title = {A Method for Formalizing, Analyzing, and
Verifying Secure User Interfaces},
booktitle = {Eight International Conference on
Formal Engineering Methods ({ICFEM} 2006)},
editor = {He Jifeng and Zhiming Liu},
publisher = {Springer},
series = {LNCS},
volume = {4260},
year = {2006}
}