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

From MaRDI portal
Publication:507654

DOI10.1016/J.INS.2014.05.041zbMATH Open1360.94302OpenAlexW2155685591MaRDI QIDQ507654FDOQ507654

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




Recommendations




Cites Work


Cited In (3)

Uses Software





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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q507654)