Login / Signup

Sequential Protocol Composition in Maude-NPA.

Santiago EscobarCatherine A. MeadowsJosé MeseguerSonia Santiago
Published in: ESORICS (2010)
Keyphrases