Encryption as an abstract data type

Description

Niveau: Supérieur
June 2003 1/18 Encryption as an Abstract Datatype: an extended abstract Dale Miller INRIA/Futurs/Saclay and Ecole polytechnique Outline 1. Security protocols specified using multisets rewriting. 2. Eigenvariables for nonces and session keys. 3. Encrypted data as an abstract datatype. 4. Protocols as linear logic theories. 5. Tests, traces, and interpolants.

• session keys


• needham-schroeder shared


• bob


• support ?-conversion


• meta-theory can


• specified using multisets


• syntax such


• key protocol

Sujets

• École polytechnique

Informations

• Publié par: chaeh
• Nombre de lectures: 8
• Langue: English

Extrait

June2003 Outline EncryptionasanAbstractDatatype: anextendedabstract DaleMiller INRIA/Futurs/Saclayand ´ Ecolepolytechnique 1.Securityprotocolsspecifiedusingmultisetsrewriting. 2.Eigenvariablesfornoncesandsessionkeys. 3.Encrypteddataasanabstractdatatype. 4.Protocolsaslinearlogictheories. 5.Tests,traces,andinterpolants. /181