A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols

From MaRDI portal
Publication:507654

DOI10.1016/j.ins.2014.05.041zbMath1360.94302OpenAlexW2155685591MaRDI QIDQ507654

Kim-Kwang Raymond Choo, Dongho Won, Junghyun Nam

Publication date: 7 February 2017

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2014.05.041




Related Items (1)


Uses Software


Cites Work


This page was built for publication: A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols