Equational cryptographic reasoning in the Maude-NRL Protocol Analyzer (2006)

Cached

Download Links

by Santiago Escobar , Joe Hendrix , Catherine Meadows , José Meseguer
Venue:In Proc. of the First International Workshop on Security and Rewriting Techniques (SecReT 2006), Electronic Notes in Theoretical Computer Science. Elsevier Sciences Publisher
Citations:5 - 3 self