A Systematic Approach to Uncover Security Flaws in GUI Logic.

José Meseguer Ralf Sasse Helen J. Wang Yi-Min Wang

Published in: IEEE Symposium on Security and Privacy (2007)

Keyphrases

security flaws
web services
authentication scheme
user friendly
logic programming
predicate logic
modal logic
test cases
multi valued
graphical user interface
information systems
user interface