A rewriting-based inference system for the NRL protocol analyzer: grammar generation.

Santiago Escobar, Catherine Meadows, Jos Meseguer

Browse the full CCS paper archive.