A Rewriting-Based Forwards Semantics for Maude-NPA Download pdf Tags: Presentations cryptographic protocol analysis logical narrowing-based reachability analysis reasoning standard rewriting-based model checking HotSoS 2014 Academia Cryptographic Protocols Presentation Slides License: CC-2.5 Submitted by Jose Meseguer on Tue, 06/03/2014 - 16:35