Login / Signup
Incremental Analysis and Verification of Authentication Protocols.
Takamichi Saito
Wu Wen
Fumio Mizoguchi
Published in:
WETICE (1999)
Keyphrases
</>
data analysis
high dimensional
intrusion detection
smart card
formal analysis