180 likes | 320 Vues
Silvio Micali's thesis explores the crucial role of key management in enabling fair electronic exchanges, highlighting how traditional methods can lead to inefficiencies and unfairness. The thesis suggests innovative alternatives to trusted parties, proposing virtual solutions that enhance transaction security while minimizing costs. By demonstrating scenarios like certified email and the implications for broader applications such as software distribution and fair contract signing, Micali emphasizes the importance of robust key management systems in achieving effective and fair electronic commerce.
E N D
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 YES endings (Complete transaction) ? b b ? ? a a ? (if both want) (if ≤ 1 wants) NO endings (Incomplete transaction) What? FAIR ELECTRONIC EXCHANGE IF and only IF
m m S R … is Wishful not Fair : R S R S Bye! SIGR(m) Running Example: Certified E-Mail Recipient R gets message IF and only IF Sender S gets R’s receipt for it Crucial to Electronic Commerce but Not Easy (even with digital signatures): More rounds Q: Trusted Parties ? A: No Thanks ! Still Unfair! (Whoever gets first what he wants may stop)
Trusted party = Post Office m m R PO S SIGR(m) SIGR(m) Why Not? Bad: 0. 4 mssgs When PO goes down all receipts are lost. Massive Law Suit! 1. Congestion (at PO) 2. Cost ($1/messg) 3. Liabilities ($10/mssg) Then What?
Virtual Trusted Parties! 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 Yet: IFS and R do not fairly complete their transaction THENthe TP will (ex post) complete it EXACTLY as S and B would have done if honest!
More Specifically… (for Certified Electronic Mail) PO S R receipt message receiptS receipt message receipt message either what you have ?R HOW? If S & R honest Else: Else: Else: receiptS ?S what you have either or messageR messageR
details EPK(M,S,R) = σ R S SIGR(σ) = y M PO Basic CEM w/ Invisible PO M receipt message PO’s public and secret encryption keys pk (sk)
EPO(M,S,R) = σ R S SIGR(σ) = y M message σ & y y M PO M,S,R Basic CEM w/ Invisible PO details M receipt pk (sk)
In Sum S & R Honest: no PO! Else: cheating useless Thus: little or no cheating (1 ‰) Great Efficiency (in all senses) • 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)
what do I gain? 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-Win User: 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 dishonest PO: I get $10/month for doing nothing, and get paid extra when I have to work!
$1M per claim traditional trustee $1M / claim Turing test invisible trustee Small TPs = Big TPs ($1B reserves to prove it) 1 claim (1 of the few) $ 1M (reserves=$2M) (1 of the thousands)
Same CEM Solution immediately implies • Software Distribution • Content Downloading • (Sarbanes-Oxley) From Certified E-Mail to Everything Slight Variation implies Fair Contract Signing General Solution implies All Fair Electronic Exchange!
… Blum ’81 Even Goldreich Lempel ’81 Luby Micali Rackoff ’83 Rabin ’81 Ben-OrGoldreich Micali & Rivest ’85 Micali ’95 (U.S. No. 5,666,420) Asokan Schunter Waidener ’97 (’96) Asokan Shoup Waidener ’00 … History Visible TPs [Chandra Mitchell Scedrov Shmaticov]’s impossibility
To reveal sk To decrypt Epk(m) 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!
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!