A static analysis of cryptographic processes: the denotational approach.

Benjamin Aziz Geoff W. Hamilton David Gray

Published in: J. Log. Algebraic Methods Program. (2005)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
operational semantics
process model
smart card
regular expressions
abstract interpretation
database systems
domain knowledge
test suite
test generation