Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.

M. Backes, S. Mödersheim, B. Pfitzmann, and L. Viganò. FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 428-445. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Birgit Claasen University of Stuttgart

Birgit Harrer University of Stuttgart

Birgit Wittorf University of Stuttgart

Birgit Fuchs University of Stuttgart

Dr. phil. Birgit May University of Stuttgart

Other publications of authors with the same name

Polynomial Fairness and Liveness.M. Backes, B. Pfitzmann, M. Steiner, and M. Waidner. CSFW, page 160-174. IEEE Computer Society, (2002)Anonymous Fingerprinting with Direct Non-repudiation.B. Pfitzmann, and A. Sadeghi. ASIACRYPT, volume 1976 of Lecture Notes in Computer Science, page 401-414. Springer, (2000)Unconditional Byzantine Agreement for any Number of Faulty Processors.B. Pfitzmann, and M. Waidner. STACS, volume 577 of Lecture Notes in Computer Science, page 339-350. Springer, (1992)A Remark on a Signature Scheme Where Forgery Can Be Proved.G. Bleumer, B. Pfitzmann, and M. Waidner. EUROCRYPT, volume 473 of Lecture Notes in Computer Science, page 441-445. Springer, (1990)The ESPRIT Project CAFE - High Security Digital Payment Systems.J. Boly, A. Bosselaers, R. Cramer, R. Michelsen, S. Mjølsnes, F. Muller, T. Pedersen, B. Pfitzmann, P. de Rooij, B. Schoenmakers and 3 other author(s). ESORICS, volume 875 of Lecture Notes in Computer Science, page 217-230. Springer, (1994)Composable Security Analysis of OS Services.R. Canetti, S. Chari, S. Halevi, B. Pfitzmann, A. Roy, M. Steiner, and W. Venema. IACR Cryptology ePrint Archive, (2010)Managing business health in the presence of malicious attacks.S. Zonouz, A. Sharma, H. Ramasamy, Z. Kalbarczyk, B. Pfitzmann, K. McAuliffe, R. Iyer, W. Sanders, and E. Cope. DSN Workshops, page 9-14. IEEE Computer Society, (2011)Self-Escrowed Cash against User Blackmailing.B. Pfitzmann, and A. Sadeghi. Financial Cryptography, volume 1962 of Lecture Notes in Computer Science, page 42-52. Springer, (2000)Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.M. Backes, C. Jacobi, and B. Pfitzmann. FME, volume 2391 of Lecture Notes in Computer Science, page 310-329. Springer, (2002)Vertrauenswürdiger Entwurf portabler Benutzerendgeräte und Sicherheitsmodule.A. Pfitzmann, B. Pfitzmann, M. Schunter, and M. Waidner. VIS, page 329-. Vieweg, (1995)