Login / Signup

State Space Reduction in the Maude-NRL Protocol Analyzer.

Santiago EscobarCatherine A. MeadowsJosé Meseguer
Published in: ESORICS (2008)
Keyphrases