Higher order quantification and proof search

pages

English

Documents

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

English

Ebook

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

chaeh

Nombre de lectures

Langue

English

Niveau: Supérieur
March 2002 1 Higher-order quantification and proof search Extended abstract Dale Miller, Penn State University Sept 2002: INRIA and Ecole Polytechnique Outline 1. Security protocols, multisets rewriting, linear logic. 2. Higher-order quantifier: encrypted data as an abstract datatype. 3. Higher-order quantifier: hiding names for continuations 4. Asynchronous, synchronous, and bipolar formulas Full version of paper: AMAST 2002, 9-13 September 2002, Reunion Island.

needham-schroeder shared

abstract datatype

agent memory

support ?-conversion

meta-theory can

such specifications

key protocol

Voir

Publié par

chaeh

Nombre de lectures

Langue

English

March2002OutlineHigher-orderquantiﬁcationandproofsearchExtendedabstractDaleMiller,PennStateUniversitySept2002:INRIAandE´colePolytechnique1.Securityprotocols,multisetsrewriting,linearlogic.2.Higher-orderquantiﬁer:encrypteddataasanabstractdatatype.3.Higher-orderquantiﬁer:hidingnamesforcontinuations4.Asynchronous,synchronous,andbipolarformulasFullversionofpaper:AMAST2002,9-13September2002,ReunionIsland.1

Voir