DMCA

State Space Reduction in the Maude-NRL Protocol Analyzer

by Santiago Escobara , Catherine Meadowsb , Jose ́ Meseguerc , Sonia Santiagod