| dbo:abstract |
En cryptographie, une preuve de sécurité est la preuve qu'un ensemble d’algorithmes cryptographiques (aussi appelé ) respecte les définitions de sécurité qui leur sont requises. Ces définitions de sécurité sont données dans les descriptions de classes de schémas appelées primitive cryptographique. Certains travaux en cryptologie consistent à définir des primitives afin d’uniformiser ces définitions, comme ceux de Bellare, Micciancio et Warinschi pour la signature de groupe en 2003, concept qui a été défini pour la première fois par Chaum et van Heyst en 1991. Une des premières preuves de sécurité est la sécurité au sens de la théorie de l’information du masque jetable. Cette notion est introduite par Claude Shannon, dans son article Communication theory of secrecy systems paru en 1949, et la sécurité du masque jetable a été démontrée dans cet article. Le masque jetable étant un schéma de chiffrement, la notion de sécurité requise est l'indistingabilité vis-à-vis de l’uniforme. Autrement dit, l’objectif est qu’aucun adversaire ne puisse dire si un message chiffré est une chaîne de bits aléatoires ou bien cachent un message. Informellement cela correspond à répondre à une question par oui ou non sur le message, on dit alors qu’on a dérivé un bit d’information sur le message. Si cela est impossible à réaliser, alors il est impossible de déduire quoi que ce soit sur le message initial. Comme il est difficile d'atteindre la sécurité au sens de la théorie de l’information, les preuves cryptographiques reposent souvent sur des hypothèses calculatoires, où la notion de sécurité se ramène alors à la complexité supposée de ces hypothèses. La cryptanalyse d’un ensemble de schémas reposant sur une hypothèse commune est alors ramenée à l'étude de la difficulté de cette hypothèse. On parle parfois de réduction de sécurité, en référence à la réduction polynomiale en théorie de la complexité. Le domaine de la cryptographie où les schémas sont prouvés sûrs est appelé la sécurité prouvable. (fr) |
| dbo:wikiPageExternalLink |
http://ia.cr/2004/332%7Clibell%C3%A9=Shoup http://luca-giuzzi.unibs.it/corsi/Support/papers-cryptography/Communication_Theory_of_Secrecy_Systems.pdf%7Cann%C3%A9e=1949%7Clangue=en%7Clibell%C3%A9=Shannon http://research.microsoft.com/en-US/um/people/Lamport/pubs/dig-sig.pdf http://www.journaldunet.com/ebusiness/le-net/1071539-nombre-d-internautes-dans-le-monde/%7Ctexte=nombre http://eprint.iacr.org/2011/442 http://ia.cr/2004/152%7Clibell%C3%A9=Koblitz http://ia.cr/2016/580%7Clibell%C3%A9=Degwekar, |
| dbo:wikiPageID |
327439 (xsd:integer) |
| dbo:wikiPageLength |
18109 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
191504637 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbpedia-fr:1949 dbpedia-fr:2012 dbpedia-fr:2016 dbpedia-fr:AC0 dbpedia-fr:Adversaire_(algorithme) dbpedia-fr:Alfred_Menezes dbpedia-fr:Algorithme_de_Shor dbpedia-fr:Argument_hybride dbpedia-fr:Arithmétique_modulaire dbpedia-fr:Bell_System_Technical_Journal dbpedia-fr:Bit dbpedia-fr:Blum_Blum_Shub category-fr:Cryptanalyse dbpedia-fr:Chiffrement dbpedia-fr:Chiffrement_RSA dbpedia-fr:Claude_Shannon dbpedia-fr:Cryptanalyse dbpedia-fr:Cryptographie dbpedia-fr:Cryptographie_asymétrique dbpedia-fr:Cryptographie_hybride dbpedia-fr:Cryptographie_symétrique dbpedia-fr:Cryptosystème_de_ElGamal dbpedia-fr:Cryptosystème_de_Goldwasser-Micali dbpedia-fr:Digital_Signature_Algorithm dbpedia-fr:Démonstration dbpedia-fr:Faux_(droit) dbpedia-fr:Fonction_de_hachage_cryptographique dbpedia-fr:Fonction_à_sens_unique dbpedia-fr:Fonction_éponge dbpedia-fr:Générateur_pseudo-aléatoire dbpedia-fr:Hiérarchie_polynomiale dbpedia-fr:Hypothèse_calculatoire dbpedia-fr:Internet dbpedia-fr:Jacques_Stern_(cryptologue) dbpedia-fr:Le_Journal_du_Net dbpedia-fr:Leslie_Lamport dbpedia-fr:Logarithme_discret dbpedia-fr:Multi-utilisateur dbpedia-fr:NC_(complexité) dbpedia-fr:NP_(complexité) dbpedia-fr:National_Institute_of_Standards_and_Technology dbpedia-fr:Nombre_premier dbpedia-fr:P_(complexité) dbpedia-fr:Phong_Nguyen dbpedia-fr:Polynôme dbpedia-fr:Primitive_cryptographique dbpedia-fr:Problème_P_≟_NP dbpedia-fr:Problème_de_décision dbpedia-fr:Problème_de_la_résiduosité_quadratique dbpedia-fr:Réduction_polynomiale dbpedia-fr:SHA-1 dbpedia-fr:SHA-2 dbpedia-fr:SHA-3 dbpedia-fr:Signature_de_groupe dbpedia-fr:Signature_numérique dbpedia-fr:Sécurité_inconditionnelle dbpedia-fr:Sécurité_sémantique dbpedia-fr:Théorie_de_l'information dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Masque_jetable dbpedia-fr:Schéma_cryptographique dbpedia-fr:Hypothèse_de_sécurité |
| prop-fr:année |
1979 (xsd:integer) 1991 (xsd:integer) 1998 (xsd:integer) 2002 (xsd:integer) 2003 (xsd:integer) 2004 (xsd:integer) 2006 (xsd:integer) 2012 (xsd:integer) 2016 (xsd:integer) |
| prop-fr:auteur |
dbpedia-fr:Alfred_Menezes dbpedia-fr:Leslie_Lamport Claude Shannon (fr) Jacques Stern (fr) Mihir Bellare (fr) Daniele Micciancio (fr) Vinod Vaikuntanathan (fr) Neal Koblitz (fr) Steven Galbraith (fr) Nigel P. Smart (fr) Victor Shoup (fr) Akshay Degwekar (fr) Bogdan Warinschi (fr) David Chaum (fr) Eugène van Heyst (fr) James Malone-Lee (fr) Palash Sarkar (fr) Phong Nguyen (fr) Prashant Nalini Vasudevan (fr) Sanjit Chatterjee (fr) |
| prop-fr:doi |
10.100700 (xsd:double) 10.101600 (xsd:double) |
| prop-fr:détails |
sur le Journal du Net (fr) |
| prop-fr:langue |
en (fr) |
| prop-fr:libellé |
Bellare, Micciancio et Warinschi 2003 (fr) Chatterjee, Menezes et Sarkar 2012 (fr) Chaum et van Heyst 1991 (fr) Galbraith, Malone-Lee et Smart 2002 (fr) Lamport 1979 (fr) Nguyen et Stern 1998 (fr) |
| prop-fr:lireEnLigne |
http://research.microsoft.com/en-US/um/people/Lamport/pubs/dig-sig.pdf http://eprint.iacr.org/2011/442 http://ia.cr/2004/332|libellé=Shoup 2006 (fr) http://luca-giuzzi.unibs.it/corsi/Support/papers-cryptography/Communication\_Theory\_of\_Secrecy\_Systems.pdf |
| prop-fr:pages |
257 (xsd:integer) 614 (xsd:integer) |
| prop-fr:périodique |
dbpedia-fr:Bell_System_Technical_Journal Information Processing Letters (fr) Crypto (fr) Eurocrypt (fr) Selected Area in Cryptography (fr) Technical Report CSL-98 (fr) iacr ePrint report (fr) iacr ePrint reports (fr) |
| prop-fr:titre |
Sequences of games: a tool for taming complexity in security proofs (fr) Another Look at “Provable Security” (fr) Another Look at Tightness (fr) Communication theory of secrecy systems (fr) Cryptanalysis of the Ajtai-Dwork cryptosystem (fr) Fine-grained Cryptography (fr) Group Signatures (fr) Public key signatures in the multi-user setting (fr) Constructing digital signatures from a one-way function (fr) Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions (fr) |
| prop-fr:url |
http://www.journaldunet.com/ebusiness/le-net/1071539-nombre-d-internautes-dans-le-monde/|texte=nombre d'internautes dans le monde (fr) |
| prop-fr:wikiPageUsesTemplate |
dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:En dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Note dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Sfn dbpedia-fr:Modèle:Sources_de_section |
| dct:subject |
category-fr:Cryptanalyse |
| rdfs:comment |
En cryptographie, une preuve de sécurité est la preuve qu'un ensemble d’algorithmes cryptographiques (aussi appelé ) respecte les définitions de sécurité qui leur sont requises. Ces définitions de sécurité sont données dans les descriptions de classes de schémas appelées primitive cryptographique. Certains travaux en cryptologie consistent à définir des primitives afin d’uniformiser ces définitions, comme ceux de Bellare, Micciancio et Warinschi pour la signature de groupe en 2003, concept qui a été défini pour la première fois par Chaum et van Heyst en 1991. (fr) |
| rdfs:label |
Preuve de sécurité (fr) Provable security (en) أمن مبرهن (ar) |
| rdfs:seeAlso |
https://www.quora.com/topic/Provable-Security |
| owl:sameAs |
dbr:Provable_security wikidata:Q852594 dbpedia-ar:أمن_مبرهن http://bn.dbpedia.org/resource/প্রমাণযোগ্য_নিরাপত্তা dbpedia-de:Beweisbare_Sicherheit dbpedia-it:Sicurezza_dimostrabile dbpedia-ja:証明可能安全性を持つ暗号 dbpedia-ko:안전성_증명 http://g.co/kg/m/04f5cw http://ma-graph.org/entity/131672422 |
| prov:wasDerivedFrom |
wikipedia-fr:Preuve_de_sécurité?oldid=191504637&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-fr:Preuve_de_sécurité |
| is dbo:wikiPageRedirects of |
dbpedia-fr:Preuve_de_securite |
| is dbo:wikiPageWikiLink of |
dbpedia-fr:Alfred_Menezes dbpedia-fr:Argument_hybride dbpedia-fr:Attaque_de_l'homme_du_milieu dbpedia-fr:Avantage_(cryptologie) dbpedia-fr:Clé_de_chiffrement dbpedia-fr:Coefficient_H dbpedia-fr:Construction_de_Luby-Rackoff dbpedia-fr:Cryptographie dbpedia-fr:Cryptographie_sur_les_courbes_hyperelliptiques dbpedia-fr:Cryptosystème_de_Goldwasser-Micali dbpedia-fr:Cryptosystème_de_Paillier dbpedia-fr:DDH dbpedia-fr:Fonction_de_hachage_cryptographique dbpedia-fr:Fonction_négligeable_(informatique) dbpedia-fr:Fonction_éponge dbpedia-fr:Hypothèse_calculatoire dbpedia-fr:Liste_de_publications_importantes_en_cryptologie dbpedia-fr:Longueur_de_clé dbpedia-fr:MDC-2 dbpedia-fr:Modèle_de_l'oracle_aléatoire dbpedia-fr:Modèle_de_la_chaîne_de_référence_commune dbpedia-fr:Modèle_du_chiffre_idéal dbpedia-fr:Modèle_du_groupe_générique dbpedia-fr:Modèle_standard dbpedia-fr:Modèle_standard_(cryptologie) dbpedia-fr:Obfuscation_indistinguable dbpedia-fr:Paramètre_de_sécurité dbpedia-fr:Primitive_cryptographique dbpedia-fr:Prix_Paris-Kanellakis dbpedia-fr:Problème_RSA dbpedia-fr:Problème_RSA_fort dbpedia-fr:Protocole_d'authentification_de_Schnorr dbpedia-fr:Signature_de_cercle dbpedia-fr:Sécurité_sémantique dbpedia-fr:Séparation_(cryptologie) dbpedia-fr:Victor_Shoup dbpedia-fr:Échange_de_clé dbpedia-fr:Preuve_de_securite |
| is oa:hasTarget of |
tag-fr:ArFrResource tag-fr:EnFrResource tag-fr:WdtFrResource |
| is foaf:primaryTopic of |
wikipedia-fr:Preuve_de_sécurité |