State Space Reduction in the Maude-NRL Protocol Analyzer.

Santiago Escobar, Catherine Meadows, Jos Meseguer

Browse the full ESORICS paper archive.