Application of Formal Methods for Analysis of Authentication Protocols.

Ritesh Kumar Tiwari

Published in: IWDC (2004)

Keyphrases

formal methods
formal analysis
similarity measure
real time
machine learning
case study
software engineering
knowledge based systems