Jump to Content

Deciding Knowledge in Security Protocols Under Equational Theories

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

Abstract

Research Areas