Login / Signup

Formal Modeling of Authentication in SIP Registration.

Anders Moen HagalislettoLars Strand
Published in: SECURWARE (2008)
Keyphrases
  • image registration
  • formal specification
  • formal methods
  • medical image registration
  • biometric authentication
  • dynamic aspects