A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA

Tags:
UIUC
License: Creative Commons 2.5
Submitted by Amy Clay on