Introduction to cryptographic protocols

Bruno Blanchet

Description

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

• private key


• protocols has


• can intercept all


• security properties


• encryption


• can generate


• public key


• encryption decryption


• alice initiates

Sujets

• Needham
• Blanchet
• Public-key cryptography
• Encryption

Informations

• Publié par: pefav
• Nombre de lectures: 14
• Langue: English

Extrait

Introductiontocryptographicprotocols BrunoBlanchet INRIA,ÉcoleNormaleSupérieure,CNRS [e-mail] September2011 (PartlybasedonslidesbyStéphanieDelaune) BrunoBlanchet(INRIA)IntroductiontocryptographicprotocolsSeptember20111/29 Cryptographicprotocols Cryptographicprotocols smallprogramsdesignedtosecure communication(varioussecurity goals) usecryptographicprimitives(e.g. encryption,hashfunction, BrunoBlanchet(INRIA)IntroductiontocryptographicprotocolsSeptember20112/29 Cryptographicprotocols Cryptographicprotocols smallprogramsdesignedtosecure communication(varioussecurity goals) usecryptographicprimitives(e.g. encryption,hashfunction, BrunoBlanchet(INRIA)IntroductiontocryptographicprotocolsSeptember20112/29 Securityproperties(1) Secrecy :Mayanintruderlearnsomesecretmessagebetweentwo honestparticipants? Authentication:IstheagentAlicereallytalkingtoBob? Fairness:AliceandBobwanttosignacontract.Aliceinitiatesthe protocol.MayBobobtainsomeadvantage? Non-repudiation:AlicesendsamessagetoBob.Alicecannotlater denyhavingsentthismessage.Bobcannotdenyhavingreceivedthe message. ... BrunoBlanchet(INRIA)IntroductiontocryptographicprotocolsSeptember20113/29