Sciweavers

ENTCS
2007

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

14 years 12 days ago
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
Santiago Escobar, Catherine Meadows, José M
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Santiago Escobar, Catherine Meadows, José Meseguer
Comments (0)