A Static Analysis of PKI-Based Systems.

Benjamin Aziz David Gray Geoff W. Hamilton

Published in: ICTCS (2005)

Keyphrases

static analysis
source code
distributed systems
building blocks
dynamic analysis
artificial intelligence
data sets
conceptual model
regular expressions
key technologies
security policies