Deciding Knowledge in Security Protocols under (Many More) Equational Theories

Véronique Cortier
CSFW(2005), pp. 62-76

Abstract

Research Areas