Reactively Secure Signature Schemes
From MaRDI portal
Publication:3404395
DOI10.1007/10958513_7zbMath1185.94076OpenAlexW2721203044MaRDI QIDQ3404395
Birgit Pfitzmann, Michael Backes, Michael Waidner
Publication date: 9 February 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/10958513_7
Related Items
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols ⋮ Formal analysis of multiparty contract signing ⋮ On the relationships between notions of simulation-based security