DMCA

Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario (2006)

by Michael Backes , Sebastian Mödersheim , Birgit Pfitzmann , Luca Viganò
Venue:In Foundations of Software Science and Computation Structures
Citations:22 - 2 self