Sequential Protocol Composition in Maude-NPA.

Santiago Escobar, Catherine Meadows, Jos Meseguer, Sonia Santiago

Browse the full ESORICS paper archive.