Sign in

Verification Code Forwarding Attack (Short Paper).

Hossein SiadatiToan NguyenNasir D. Memon
Published in: PASSWORDS (2015)
Keyphrases
  • source code
  • symbolic execution
  • model checking
  • overlay network
  • formal verification
  • sensor networks
  • formal methods
  • signature verification
  • java card
  • traffic engineering
  • detection mechanism