Login / Signup
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).
Aiman Hanna
Hai Zhou Ling
Jason Furlong
Zhenrong Yang
Mourad Debbabi
Published in:
QSIC (2008)
Keyphrases
</>
security vulnerabilities
web services
web applications
wireless networks
model checking