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

Namesort iconValue
MIME typeapplication/pdf
Size308.92 KB