Sign in

Secure and Robust Telemedicine using ECC on Radix-8 with Formal Verification.

Gautam KumarHemraj Saini
Published in: Int. J. Inf. Secur. Priv. (2018)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • automated verification
  • model checker
  • symbolic model checking
  • security analysis
  • developing countries
  • error correction
  • floating point