Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol
From MaRDI portal
Publication:2430140
DOI10.1504/IJACT.2010.038304zbMath1210.94086OpenAlexW2010910824MaRDI QIDQ2430140
Publication date: 5 April 2011
Published in: International Journal of Applied Cryptography (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1504/ijact.2010.038304
toolsprovable securityauthenticated key exchangeautomatic analysisAKECKeCKephemeral key revealNAXOSsession state reveal
Uses Software