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

Santiago Escobar Catherine A. Meadows José Meseguer

Published in: FMSE (2005)

Keyphrases

lightweight
natural language
formal analysis
database
production rules
generation process
security analysis
tcp ip
security protocols
coloured petri nets