DOI:
关键词: Modular design 、 Protocol (object-oriented programming) 、 Standard model (cryptography) 、 Computer science 、 Security analysis 、 Cryptographic protocol 、 Authentication 、 Computer security
摘要: We provide a security analysis of the Modular Enhanced Symmetric Role Authentication mERA protocol. prove that is secure in Bellare-Rogaway model, standard model for analyzing cryptographic protocols.