A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.

Bernhard Beckert Gerd Beuster

Published in: ICFEM (2006)

Keyphrases

user interface
high accuracy
computationally efficient
detection method
prior knowledge
preprocessing
fully automatic
similarity measure
pairwise
cost function
experimental evaluation
mutual information
classification method
computational complexity
probabilistic model
high precision