Login / Signup

Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations.

Ana R. CavalliEliane MartinsAnderson Nunes Paiva Morais
Published in: ICST Workshops (2008)
Keyphrases
  • fault injection
  • invariant properties
  • java card
  • fault model
  • prior models
  • zernike moments
  • static analysis
  • elliptic curve
  • security model
  • smart card
  • tcp ip