Standard Model
Le modèle standard désigne les preuves de sécurité cryptographique qui n'introduisent aucune hypothèse idéalisée (tels oracles aléatoires ou groupes idéaux), en ne s'appuyant que sur des hypothèses de complexité calculatoire (p. ex., DDH, LWE).
Objectif
Il fournit des garanties de sécurité plus fortes que le modèle de l'oracle aléatoire, évitant la dégradation quand les hypothèses idéalisées sont instanciées.
Mécanisme
Les preuves en modèle standard doivent reposer sur des hypothèses réfutables comme DDH, CDH et LWE, sans idéaliser les hachages. Les preuves sont plus difficiles, mais la sécurité est plus forte.
Cas d’usage
- Preuves de sécurité strictes
- Analyse de schémas post-quantiques
- Théorie cryptographique