Formal Analysis of ISO/IEC 9798-2 Authentication Standard Using AVISPA.

Sheikh Ziauddin Bruno Martin

Published in: AsiaJCIS (2013)

Keyphrases

iso iec
formal analysis
international standard
ban logic
information security
formal methods
quality evaluation
artificial intelligence
reference model
agent model
authentication protocol