Deciding Knowledge in Security Protocols Under Equational Theories

Véronique Cortier
ICALP(2004), pp. 46-58

Abstract

Research Areas