Google Research

Deciding knowledge in security protocols under equational theories

Martín Abadi
Véronique Cortier
Theor. Comput. Sci., 367 (2006), pp. 2-32
Google Scholar

Abstract

×