Publication Overview

Michael Backes and Sebastian Mödersheim and Birgit Pfitzmann and Luca Viganò

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

Published in: FoSSaCS
Year: 2006
Pages: 428-445