Protocol analysis modulo combination of theories: A case study (2010)

by R Sasse, S Escobar, C Meadows, J Meseguer
Venue:in Maude-NPA. In: 6th International Workshop on Security and Trust Management (STM’10). LNCS