Deciding knowledge in security protocols under equational theories

Véronique Cortier
Theor. Comput. Sci., 367(2006), pp. 2-32

Abstract

Research Areas