Dynamic vs. Static Flow-Sensitive Security Analysis.

Alejandro Russo Andrei Sabelfeld

Published in: CSF (2010)

Keyphrases

security analysis
smart card
public key
security requirements
security model
image encryption
encryption scheme
authentication protocol
data warehouse
authentication scheme