Automatic Detection of Interaction Vulnerabilities in an Executable Specification.

Published in: HCI (13) (2007)

Keyphrases

automatic detection
formal specification
automatically detecting
automatic classification
attribute grammars
small bowel
control flow
information security
process algebra
high level
countermeasures
x ray
user interaction
human computer interaction
lymph nodes
chest ct