Sign in
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