A Rewriting-based Forwards Semantics for Maude-NPA Download Tags: cryptographic protocol analysis logical narrowing-based reachability analysis reasoning modulo an equational theory standard rewriting-based model checking UIUC License: Creative Commons 2.5 Submitted by Amy Clay on Wed, 11/18/2015 - 13:45