17
1 Silvio Micali MIT Key Management and Fair Electronic Exchange

Silvio Micali MIT

  • Upload
    lance

  • View
    32

  • Download
    0

Embed Size (px)

DESCRIPTION

Key Management and Fair Electronic Exchange. Silvio Micali MIT. Thesis. Key Management can and will be an enabler of Other Crypto Technologies: Fair Electronic Exchange. (= string ). (= string ). A has a. B has b. A gets b. B gets a. A. A. A. A. B. B. B. B. - PowerPoint PPT Presentation

Citation preview

Page 1: Silvio Micali MIT

1

Silvio MicaliMIT

Key Management andFair Electronic Exchange

Page 2: Silvio Micali MIT

Thesis

Key Management can and will be an enabler

of Other Crypto Technologies:

Fair Electronic Exchange

Page 3: Silvio Micali MIT

3

What?

EXCHANGE

A has a B has b

A gets b B gets a

ELECTRONIC

(= string) (= string)

FAIR

IF and only IF

YES endings (Complete transaction)

A Bab

(if both want) (if ≤ 1 wants)

A B??

NO endings (Incomplete transaction)

A B?b

A Ba?

Page 4: Silvio Micali MIT

4

Running Example: Certified E-Mail

Crucial to Electronic Commerce but Not Easy (even with digital signatures):

Recipient R gets message IF and only IF

Sender S gets R’s receipt for it

S R

m

S R

m

SIGR(m)

is Wishful not Fair :

Bye!

S R…

Still Unfair!

More rounds

(Whoever gets first what he wants may stop)

Q: Trusted Parties ?A: No Thanks !

Page 5: Silvio Micali MIT

5

Why Not?

m

SIGR(m)

Trusted party = Post Office

S PO R

m

SIGR(m)Bad:

0. 4 mssgs1. Congestion (at PO)2. Cost ($1/messg)3. Liabilities ($10/mssg)

Then What?

When PO goes down all receipts are lost. Massive Law Suit!

Page 6: Silvio Micali MIT

6

Virtual Trusted Parties!

Yet:

IF S and R do not fairly complete their transactionTHEN the TP will (ex post) complete itEXACTLY as S and B would have done if honest!

What does it mean??

♦ TP is off-line

♦ TP is unaware that S and R are transacting

♦ TP is unaware of S’s message and R’s signing key

Page 7: Silvio Micali MIT

If S & R honest

S

PO

R

receipt message

Else:

what you havemessage

receiptreceipt S

? R

either

Else: receipt S

message R

either

? S

message R

or

Else: what you have

message

receipt

More Specifically… (for Certified Electronic Mail)

HOW?

Page 8: Silvio Micali MIT

8

Basic CEM w/ Invisible PO

details

PO

S RM

pk (sk)

EPK(M,S,R) = σ

SIGR(σ) = yM

receiptmessage

PO’s public and secret encryption keys

Page 9: Silvio Micali MIT

9

Basic CEM w/ Invisible PO

details

PO

S RM

pk (sk)

EPO(M,S,R) = σ

SIGR(σ) = y

M,S,R

M

σ & y

receipt

y M

message

Page 10: Silvio Micali MIT

In Sum

S & R Honest: no PO!Else: cheating uselessThus: little or no cheating (1 ‰)

♦ Very Simple: Typical transaction has 3 messages rather than 4♦ No congestions: Typical transactions are peer-to-peer

♦ Very Economical: Infrastructure / Liability costs are 1,000 less: TP handles just 1‰ of the transactions. (A single laptop can handle the whole country)

Great Efficiency (in all senses)

Page 11: Silvio Micali MIT

Go to Market

IF you pay PO $10/month, can send unlimited certified e-mails for free, and if help is requested PO will fairly complete the transaction for $11. ELSE: good luck!”

Win-WinUser: Better paying $11 after the fact when I know I am dealing

with a dishonest user, than paying $11 all the time just in case the other user is dishonestPO: I get $10/month for doing nothing, and get paid extra when I have to work!

what do I gain?

Page 12: Silvio Micali MIT

12

1 claim$ 1M

$1M per claim

traditional trustee(1 of the few)

(reserves=$2M)

(1 of the thousands)

$1M / claim

invisible trustee

Turing test

($1B reserves to prove it)

Small TPs = Big TPs

Page 13: Silvio Micali MIT

13

From Certified E-Mail to Everything

Same CEM Solution immediately implies• Software Distribution• Content Downloading• (Sarbanes-Oxley)

Slight Variation implies Fair Contract Signing

General Solution implies All Fair Electronic Exchange!

Page 14: Silvio Micali MIT

History

Visible TPs

…Micali ’95 (U.S. No. 5,666,420)

Asokan Schunter Waidener ’97 (’96)Asokan Shoup Waidener ’00

Blum ’81 Even Goldreich Lempel ’81Luby Micali Rackoff ’83

Rabin ’81Ben-Or Goldreich Micali & Rivest ’85

Page 15: Silvio Micali MIT

Key Management

Mathematical Success = all on a single key

Concrete Wisdom = 1 key 3 keys (2-out-of-3)+

key management !

Practical because: PO rarely used!

Recommended because: People are People!=

To reveal skTo decrypt Epk(m)

Page 16: Silvio Micali MIT

Othe Enablements

Secure, Distributed, Compact

Storage

Other talk, Other Patents, Other Day

In Sum: Crypto Keys are great friends

And (proper) key management an even better one!

Page 17: Silvio Micali MIT

17

Thank You!