Computational Soundness of Coinductive Symbolic Security under Active Attacks
From MaRDI portal
Publication:4910297
DOI10.1007/978-3-642-36594-2_30zbMath1315.94079OpenAlexW122504873MaRDI QIDQ4910297
Bruce M. Kapron, Mohammad Hajiabadi
Publication date: 18 March 2013
Published in: Theory of Cryptography (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-36594-2_30
coinductioncircular securitycomputational soundnessadaptive corruptionsactive adversariestrace-based protocol security
This page was built for publication: Computational Soundness of Coinductive Symbolic Security under Active Attacks