A weakest precondition approach to active attacks analysis.

Musard Balliu Isabella Mastroeni

Published in: PLAS (2009)

Keyphrases

quantitative analysis
statistical analysis
databases
data analysis
image analysis
cooperative
digital images