Meseguer J.: A rewriting-based inference system for the NRL Protocol Analyzer: Grammar generation (2005)

by S Escobar, C Meadows
Venue:Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering—FMSE 2005