Login / Signup

Incremental Analysis and Verification of Authentication Protocols.

Takamichi SaitoWu WenFumio Mizoguchi
Published in: WETICE (1999)
Keyphrases
  • data analysis
  • high dimensional
  • intrusion detection
  • smart card
  • formal analysis