Les Preuves de Connaissance

Claude Carlet

Description

Niveau: Supérieur, Doctorat, Bac+8

• dissertation

Th ese de Doctorat Universit e de Caen Specialite : Informatique Les Preuves de Connaissance et leurs Preuves de Securite Soutenue le 12 decembre 1996 Mihir Bellare (rapporteur) Claude Carlet Robert Cori Philippe Flajolet Marc Girault Guy Robin (rapporteur) Claus Schnorr (rapporteur) Jacques Stern Brigitte Vallee (directeur) David Pointcheval Travaux eectues au Laboratoire d'Informatique Ecole Normale Superieure

• protocole d'identication ppp


• random oracle model


• attaques paralleles


• tinguishable identication protocols


• signature


• schema de monnaie electronique en presentant


• mas de signature en blanc derives de protocoles d'identication

Sujets

• Dissertation
• Circuit de Brands Hatch
• Knudsen
• Girault
• Caudal
• École normale supérieure
• Vallée
• Carlet

Informations

• Publié par: profil-feym-2012
• Publié le: 01 décembre 1996
• Nombre de lectures: 18
• Langue: Français
• Poids de l'ouvrage: 1 Mo

Extrait

app
Th


al
ese
Girault
de
ee
Doctora
au
t
e
Universit
orteur

Brigitte
e
P
de
aux
Caen

Sp
Cori

jolet
ecialit
Robin

Sc
e
Jacques
:
all
Informatique
Da
Les
tc
Preuv
ra
es

de
oratoire
Connaissance
Normale
et
ert
leurs
Philipp
Preuv
Fla
es
Marc
de
Guy
S
app

Claus
ecurit
hnorr

orteur
e
Stern
Souten
V
ue

le
irecteur
12
vid
d
oin

hev
ecem
T
bre
v
1996
ectu
Mihir
es
Bellare
Lab
app
dnformatique
orteur
Ecole
Claude
Sup
Carlet
erieure
Robhemes
R
pa

the
esum
(

hash
e
blind
La
appliquons
cryptographie
la
a
1993
p
com
our
existen
but
admit
de
falsiation
garan
electronique
tir
es
des
au
comm
ably
uni
to
cations
iden
s
fo
^
sc
ures
t
par
of
ln
the
term
its

selon
edi
signatures
aire
sc
notammen
t
t
aussi
de
is
proto
the
coles
this
de
oracle
c
y
hiemen
for
t
erties
et
against
duthen
erm
tiation
Here
Mais
to
encore
erir
fautl
messages
que
its
les
of
sc
witness
h
parallel

cash
emas
w
prop
users
os
taire


es

satisfassen
a
t
esen
les
de
propri
)

v
et


ltilisateur
es
aim
de
unications
s
cols

of
ecurit
attac

presen
e
hemes

mo
enonc
and

a
ees
securit
face
one

satisfy
a
presen
nmp
pro
orte
ks
quel
omplete
attaquan
Problem
t
signatures
Cette
e
th
It

that
ese
from
se
tiation
prop
adaptiv
ose
impro
donc
lemm
de
more
pr
pro

n
esen
hemes
ter
tiation
des
forgery
sc
,
h
blind

t
emas
protecting
cryptographiques
formal
prouv
the

e
es

s
^
^
attaques
urs
En
dans
derniers
le
sur
mo
blanc
d
monnaie

pr
ele
alors
de

lracle

al
oline

ec
eatoire
ymat
Ce
des
mo
de
d


p
ele
p
formalis
Abstract

cryptograph
e
protect
par
encryption
Bellare
tication
et
what
Roga
securit
w
osed
a
clev
y
ers
en
w
1993,
pro
a
cryptographic
ouv
the
ert
del
la
formalized
v
y
oie
w

op
a
a
des
ards
preuv
pro
es
hemes
formelles
y
de
whic
s
computational

w
ecurit
a

sc
e
ably
de
e
sc
on
h
N

the
emas
P
utilisan
w
t
on
des
blind
fonctions
e

generic
a
lemm
sensnique
ws
ou
v
de
y
hac
deriv
hage
fair
qui
wledge
ne
col
satisfon
unforgeable
t
c
que
ks
des
em
propri
this

allo
et
for

concept
es
It
calculatoires
the
T
a
out
b
db
signature
ord
ated
nous
tinguishable
prop
cols
osons
soalled
un
en
nouv
ks
eau
e
sc
ab
h
to

e
ema
line
dden
t
tiation
acy
r
giv

ofs
esistan
y
t
and
aux

at
dne
taques
suppl
activ
emen
es
m
bas
eme

des
e
parall
sur
eles
un
nous
probl
ces

r
eme
esultats
com
les
binatoire
en
N

P
la
omplet

le
Nous
Probl


tons
eme
un
des
h
P
ema
ercep
monnaie
trons
electronique
P
(
erm
)
ut
resp

tan
es
lnon
Puis
a
nous
ec
nous
preuv
in
formelles
t
s

ecurit
eressons
e
aux
bien
sc
our
h
que

our
emas
Banque
de
The
signature
of

y
electronique
to
et
comm
de
using
signature
and
en
then
blanc
proto
P
But
our
is
cela
real
nous
y
form
prop
ulons
sc
un
against
lemme
er
g
k

In
en
dissertation

e
erique
t
le
v
(
secure
(
sc
lemme
in
de
random
bifurcation
mo
)
This
)
del
.
in
Ce
b
lemme
Bellare
p
Roga
ermet
a
dans
,
un
ens
premier
w
temps
y
de
w
prouv
formal
er
y
que
ofs
tout
sc
sc
using
h
a

or
ema
functions
de
h
signature
only
d
prop

First
eriv
e

t
e
new
dn
tiation
proto
heme
cole
v
dden
robust
tiation
activ

attac
a
based
divulgation
a
n
binatorial
ulle
P
de
problem
connaissance
P
face
uted

erceptrons
a
Then
un
e
v
cus

digital
eriur
and
hon
signatures
n
w
^
deriv
ete
a
est
lemma
existen
orking
tiellem
a
en
allo
t
us
infalsible
pro
face
e
aux
an
attaques
signature

heme
a
ated
messages
a
c
v
hoisis
zerono
adaptativ
iden
es
proto
Une
is
nouv
tially
elle
against
v
ely
ersion
hosen
de
attac
ce
An
(
v
(
en
lemm
of
e
orking
de
a
bifurcation
ws
)
application
)
the
spplique
complex
ensuite
of
au
signatures
concept
then
plus
vides
complexe
pro
des
that
signatures
large
en
um
blanc
er
Nous
blind
prouv
sc
ons
deriv
alors
from
p
indis
our
iden
un
proto
grand
cannot
nom
the
bre
neore
de
ev
sc
under
h
attac

Finally
e
w
mas
apply
de
results
signature
out
en
signatures
blanc
electronic
d
W

presen
eriv
an

electronic
es
ymen
de
system
proto
priv
coles
and
dden
e
tiation
e

pro
a
of
t
securit

for
emoin
bank
indistinguable
the
lmp
ossibilitdi
Remerciemen
mes
ts
son
Je
t
v
enien
oudrais
la
proer
Serge
de
t
ce
temps
m
proe

Da
emoire
gratitude
de
Ho
th
our

a
ese
p
p
mais
our
monnaie
remercier
concepts
tous
i
ceux
sans
qui
v
on
rec
t
son
con
i
tri
Merci
bu
ji

a
e
cole
de
r
pr
le

cette
es
tonella
ou
oir
de
a
loin
t

cet
a
signatures
son
partenaires
accomplissem
tes
en
s
t
transform
Je
Je
commencerai
Gilb
tout
ermis
db
sa
ord
ee
par
v
Jacques
ma
Stern
b
qui
et
apr
Floren

a
es
de
^
v
etre
qui
pass
de

sur
e
de
par
r
les
du
stades
que
dxaminateur
pr
dnformatique
Je
lors
visiteurs
de
udsen
mon
p
oral
une
au

concours
h
dn
pr
tr
ses

a
ee
son

ecurit
a
les
l
p

Da
Ecole
in
Normale
ais
Sup
soutien

Cor
erieure
se
de
cauc
professeur
de
de
t
logique
et
en