Advances on Protocol Indistinguishability Analysis in Maude-NPA Download pdf Tags: NRL Universitat Politecnica de Valencia Foundations Science of Security Presentation Academia UIUC SoS Quarterly Lablet Meeting, Sept '13 at CMU License: CC-2.5 Submitted by Jose Meseguer on Fri, 11/08/2013 - 08:54