Visible to the public Advances on Protocol Indistinguishability Analysis in Maude-NPA

Submitted by Jose Meseguer on Fri, 11/08/2013 - 9:54am. Contributors:
License: 
Creative Commons 2.5

Other available formats:

Advances on Protocol Indistinguishability Analysis in Maude-NPA
Switch to experimental viewer