Login / Signup
A Denotational Approach to the Static Analysis of Cryptographic Processes.
Benjamin Aziz
Geoff W. Hamilton
David Gray
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
static analysis
dynamic analysis
source code
smart card
malicious code
symbolic execution
abstract interpretation
java card
test generation
regular expressions
process model
test suite
operational semantics
artificial intelligence
real world
data warehouse
high level