A new strong security model for stateful authenticated group key exchange
| Autor: | Daigu Zhang, Wanping Liu, Chao Liu, Zheng Yang, Song Luo |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Stateless protocol
Computer Networks and Communications business.industry Computer science Key distribution 020206 networking & telecommunications 02 engineering and technology Computer security model Computer security computer.software_genre Public-key cryptography Stateful firewall 0202 electrical engineering electronic engineering information engineering Session key Static key 020201 artificial intelligence & image processing Session (computer science) Safety Risk Reliability and Quality business computer Software Information Systems |
| Zdroj: | International Journal of Information Security. 17:423-440 |
| ISSN: | 1615-5270 1615-5262 |
| DOI: | 10.1007/s10207-017-0373-1 |
| Popis: | Stateful authenticated group key exchange (stAGKE) represents an important class of authenticated group key exchange (AGKE) such as tree-based AGKE. The computation of either ephemeral public key or session key in a new stAGKE session may be based on the ephemeral secret state from some previously established session. We notice that earlier AGKE models may be not able to provide appropriate security arguments for stAGKE. In this work, a new model is proposed for stAGKE to formulate security properties in particular for resistance to the leakage attacks on ephemeral key. To be of independent interest, the new model is also flexible, which can be used for analyzing either stateless or stateful AGKE protocols. We show the validity of our model by introducing a new tree-based protocol construction for stAGKE. The proposed scheme is proven secure in our new proposed model without random oracles. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink