Protocol Dialects as Formal Patterns.

D. Galn, Vctor Garca, Santiago Escobar, Catherine A. Meadows, Jos Meseguer

Browse the full ESORICS paper archive.