Jump to Content

Deciding knowledge in security protocols under equational theories

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

Abstract

Research Areas