| Property |
Value |
| 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)
- 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
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 18109 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| 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)
- sur le Journal du Net (fr)
|
| prop-fr:langue
| |
| 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)
- 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
| |
| 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)
- 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)
- 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
| |
| dct:subject
| |
| 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)
- 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
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
