Introduction to cryptographic protocols
14
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
14
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Introduction to cryptographic protocols Bruno Blanchet INRIA, École Normale Supérieure, CNRS September 2011 (Partly based on slides by Stéphanie Delaune) Bruno Blanchet (INRIA) Introduction to cryptographic protocols September 2011 1 / 29 Cryptographic protocols Cryptographic protocols small programs designed to secure communication (various security goals) use cryptographic primitives (e.g. encryption, hash function, Bruno Blanchet (INRIA) Introduction to cryptographic protocols September 2011 2 / 29 Cryptographic protocols Cryptographic protocols small programs designed to secure communication (various security goals) use cryptographic primitives (e.g. encryption, hash function, Bruno Blanchet (INRIA) Introduction to cryptographic protocols September 2011 2 / 29 Security properties (1) Secrecy: May an intruder learn some secret message between two honest participants? Authentication: Is the agent Alice really talking to Bob? Fairness: Alice and Bob want to sign a contract. Alice initiates the protocol. May Bob obtain some advantage? Non-repudiation: Alice sends a message to Bob. Alice cannot later deny having sent this message. Bob cannot deny having received the message. ... Bruno Blanchet (INRIA) Introduction to cryptographic protocols September 2011 3 / 29
Voir
- private key
- protocols has
- can intercept all
- security properties
- encryption
- can generate
- public key
- encryption decryption
- alice initiates
