ELECTRONIC CASH FALL 2000 COPYRIGHT © 2000 MICHAEL I. SHAMOS CPS 214 Bank Clearing and Settlement...
-
Upload
hollie-webb -
Category
Documents
-
view
217 -
download
1
Transcript of ELECTRONIC CASH FALL 2000 COPYRIGHT © 2000 MICHAEL I. SHAMOS CPS 214 Bank Clearing and Settlement...
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
CPS 214
Bank Clearing and Settlement
Quantum Key Exchange
Electronic Cash
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Clearing and Settling
• Clearing: determining the amount that one party owes another
• Settling: transfer of funds from one party to the other
• Banks clear and settle every day (or at least on those rare days when banks are open)
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Fedwire• Owned and operated by Federal Reserve
Banks• 7500 participant banks keep accounts with
Federal Reserve• Over $2,000,000,000,000 transferred per day• FEDNET proprietary telecommunications
network• Physical security mechanisms difficult to
uncover!• Now permits some IP or web-based
transactions
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Quantum Cryptography
• In quantum mechanics, there is no way to take a measurement without potentially changing the state. E.g.– Measuring position, spreads out the momentum– Measuring spin horizontally, “spreads out” the spin
probability vertically
Related to Heisenberg’s uncertainty principal
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Using photon polarization
diagonal basis
rectilinear basis
measurediagonal
measurerectilinear
Measuring using one basis changes polarization to that basis!
Bennet and Brassard 1984
10
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Quantum Key Exchange1. Alice creates each random bit and then randomly
encodes it in one of two bases:
2. Bob measures photons in random orientationse.g.: x + + x x x + x (orientations used) \ | - \ / / - \ (measured polarizations)and tells Alice in the open what orientations he used, but not what he measured.
3. Alice tells Bob in the open which orientations are correct
4. Bob and Alice compare a randomly chosen subset of sent/received bits to detect eavesdropper
5. Susceptible to a man-in-the-middle attack
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
In the “real world”
• 10-node DARPA Quantum Network since 2004
• Los Alamos/NIST March 2007, 148km
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
15-853Algorithms in the Real World
Electronic Cash
Michael I. Shamos, Ph.D., J.D.Co-Director
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Token vs. Notational Money
• Token money– Represented by a physical article (e.g. cash, traveler’s
check, gift certificate, coupon)– Can be lost– Used for instantaneous value transfer
• Notational money (account ledger entries)– Examples: bank accounts, frequent flyer miles– Can’t be lost– Transfer by order to account holder, usually not immediate– Requires “clearance” and “settlement”
WHAT IS THE NET EFFECT OF ALL THE ORDERS?(HOW MUCH DOES EACH PARTY HAVE TO PAY?)
ACTUAL PAYMENT IN “REAL” MONEY
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Online v. Offline Systems
• An online system requires access to a server for each transaction.– Example: credit card authorization. Merchant must get code
from issuing bank.
• An offline system allows transactions with no server.– Example: cash transaction. Merchant inspects money. No
communication needed.
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Electronic Cash
• Electronic cash is token money in the form of bits, except unlike token money it can be copied.
This creates a host of problems:• A copy of a real bill is a counterfeit.
A copy of an ecash string is not counterfeit (it’s a perfect copy)• How is ecash issued? How is it spent? Why would anyone
accept it?• Counterfeiting• Loss (it’s token money; it can be lost)• What prevents double spending?• Can it be used offline?
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Electronic Cash -- Idea 1
• Bank issues character strings containing:– denomination– serial number– bank ID + encryption of the above
• First person to return string to bank gets the money
PROBLEMS:• Can’t use offline. Must verify money not yet spent.• Not anonymous. Bank can record serial number.• Sophisticated transaction processing system required
with locking to prevent double spending.• Eavesdropping!
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Blind Signatures
• Sometimes useful to have people sign things without seeing what they are signing– notarizing confidential documents– preserving anonymity
• Alice wants to have Bob sign message M.(In cryptography, a message is just a number.)
• Alice multiplies M by a number -- the blinding factor• Alice sends the blinded message to Bob. He can’t
read it — it’s blinded.• Bob signs with his private key, sends it back to Alice.• Alice divides out the blinding factor. She now has M
signed by Bob.
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Blind Signatures
• Alice wants to have Bob sign message M.• Bob’s public key is (e, n). Bob’s private key is d.• Alice picks a blinding factor k between 1 and n.• Alice blinds the message M by computing
T = M ke (mod n) She sends T to Bob.• Bob signs T by computing
Td = (M ke)d (mod n) = Md k (mod n)• Alice unblinds this by dividing out the blinding factor:
S = Td/k = Md k (mod n)/k = Md (mod n)• But this is the same as if Bob had just signed M,
except Bob was unable to read T
e • d = 1 (mod (n))
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Blind Signatures
• It’s a problem signing documents you can’t read– But it happens. Notary public, witness, etc.
• Blind signatures are only used in special situations• Example:
– Ask a bank to sign (certify) an electronic coin for $100– It uses a special signature good only for $100 coins
• Blind signatures are the basis of anonymous ecash
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
eCash (Formerly DigiCash)
Withdrawal(Minting):
Spending:
PersonalTransfer:
ALICE BUYS DIGITALCOINS FROM A BANK
ALICE SEND UNSIGNEDBLINDED COINS TO THE BANK
BANK SIGNS COINS, SENDS THEM BACK. ALICE UNBLINDS THEM
ALICE PAYS BOBBOB VERIFIES COINSNOT SPENT
ALICE TRANSFERS COINS TO CINDYCINDY VERIFIES COINSNOT SPENT
BOB DEPOSITS
CINDY GETS COINS BACK
WALLETSOFTWARE
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Minting eCash
• Alice requests coins from the bank where she has an account
• Alice sends the bank{ { blinded coins, denominations }SigAlice }PKBank
• Bank knows they came from Alice and have not been altered (digital signature)
• The message is secret (only Bank can decode it)• Bank knows Alice’s account number• Bank deducts the total amount from Alice’s account
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Minting eCash, cont.
• Bank now must produce signed coins for Alice• Each of Alice’s blinded coins has a serial#• Bank’s public key for $5 coins is (e5, m5) (exponent and
modulus). Private key is d5.• Alice selects blinding factor r• Alice blinds serial# by multiplying by r
e5 (mod m5)(serial# r
e5) (mod m5) • Banks signs the coin with its private d5 key:
(serial# r e5)d5 (mod m5) = (serial#)d5 r (mod m5)
• Alice divides out the blinding factor r. What’s left is (serial#)d5 (mod m5) = { serial# } SKBank5
Just as if bank signed serial#. But Bank doesn’t know serial#.
e5 • d5 = 1 (mod m5)
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Spending eCash• Alice orders goods from Bob
• Bob’s server requests coins from Alice’s wallet:
payreq = { currency, amount, timestamp,merchant_bankID, merchant_accID, description }
• Alice approves the request. Her wallet sends:
payment = { payment_info, {coins, H(payment_info)}PKmerchant_bank }
payment_info = { Alice’s_bank_ID, amount, currency, ncoins, timestamp, merchant_ID, H(description), H(payer_code) }
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Depositing eCash
• Bob receives the payment message, forwards it to the bank for deposit by sending
deposit = { { payment }SigBob }PKBank
• Bank decrypts the message using SKBank.
• Bank examines payment info to obtain serial# and verify that the coin has not been spent
• Bank credits Bob’s account and sends Bob a deposit receipt:
deposit_ack = { deposit_data, amount }SigBank
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Proving an eCash Payment
• Alice generates payer-code before paying Bob
• A hash of the payer_code is included in payment_info
• Bob cannot tamper with H(payer_code) since payment_info is encrypted with the bank’s public key
• The merchant’s bank records H(payer_code) along with the deposit
• If Bob denies being paid, Alice can reveal her payer_code to the bank
• Otherwise, Alice is anonymous; Bob is not.
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Lost eCash
• Ecash can be “lost”. Disk crashes, passwords forgotten, numbers written on paper are lost.
• Alice sends a message to the bank that coins have been lost
• Banks re-sends Alice her last n batches of blinded coins (n = 16)
• If Alice still has the blinding factor, she can unblind
• Alice deposits all the coins bank in the bank. (The ones that were spent will be rejected.)
• Alice now withdraws new coins
• eCash demo
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Anonymous Ecash Crime
• Kidnapper takes hostage• Ransom demand is a series of blinded coins• Banks signs the coins to pay ransom• Kidnapper tells bank to publish the coins in the
newspaper (they’re just strings)• Only the kidnapper can unblind the coins (only he
knows the blinding factor)• Kidnapper can now use the coins and is completely
anonymous
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Offline Double-Spending
• Double spending easy to stop in online systems:System maintains record of serial numbers of spent coins.
• Suppose Bob can’t check every coin online. How does he know a coin has not been spent before?
• Method 1: create a tamperproof dispenser (smart card) that will not dispense a coin more than once.– Problem: replay attack. Just record the bits as they come
out.
• Method 2: protocol that provably identifies the double-spender but is anonymous for the single-spender.
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Chaum Double-Spending Protocol
• Alice wants 100 five-dollar coins.• Alice sends 200 five-dollar coins to the bank (twice as
many as she needs). For each coin, she– Combines b different random numbers with her account
number and the coin serial number (using exclusive-OR )– Blinds the coin
• Bank selects half the coins (100), signs them, gives them back to Alice
• Bank asks her for the random numbers for the other 100 coins and uses it to read her account number– Bank feels safe that the blinded coins it signed had her real
account number. (It picked the 100 out of 200, not Alice.)
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Probability Cheating is Detected• If Alice sends 2n coins to the bank but k have the wrong
account number, what is the probability it appears among the n coins the bank picks?
• The probability that Alice gets away with it is p(0).• For k = 1, p(0) = 1/2• For n = 100, k = 10, p(0) ~ 8/10000• For n = 100, k = 100, p(0) ~ 10-59
n
n
jn
kn
j
kjp
22)(
WAYS TO PICK EXACTLYj OF k BAD COINS
WAYS TO PICK EXACTLYn OF 2n TOTAL COINS
WAYS TO PICK EXACTLYn- j OF 2n- k GOOD COINS
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Chaum Protocol• Alice’s account number is 12, which in hex is 0C = 00001100• Alice picks serial number 100 and blinding number 5• She asks the bank for a coin with serial number
100 x 5 = 500• Alice chooses a random number b and creates b random
numbers for this coin. Say b=6• Alice XORs each random number with her account number:
i acct random acct random
0 0C 1B 17
1 0C 13 1F
2 0C 09 053 0C 05 09
4 0C 2B 27
5 0C 11 1D
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Chaum Protocol• Bob receives Alice’s coin. He finds out b and picks a random b-bit
number, say 111010 (bits numbered 5 4 3 2 1 0)• For every bit position in which Bob’s number has a 1, he receives
Alice’s random number for that position• For every 0-bit, Bob receives Alice’s account number XOR her random
number for that position
• Bob sends the last column to the bank when depositing the coin
i acct random acct random Bob’s bit Bob receives
0 0D 1B 17 0 17
1 0D 13 1F 1 13
2 0D 09 05 0 05
3 0D 05 09 1 05
4 0D 2B 27 1 2B
5 0D 11 1D 1 11
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Chaum Protocol• Now Alice tries to spend the coin again with Charlie. He finds
b=6 and picks random number 010000• Charlie goes through the same procedure as Bob and sends the
numbers he receives to the bank when he deposits the coin
i acct random acct random Charlie’s bit Charlie receives
0 0D 1B 17 0 17
1 0D 13 1F 0 1F
2 0D 09 05 0 05
3 0D 05 09 0 09
4 0D 2B 27 1 2B
5 0D 11 1D 0 1D
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Chaum Protocol• The bank refuses to pay Charlie, since the coin was deposited by Bob• The bank combines data from Bob and Charlie (or both) using XOR
where it has different data from the two sources:
• This identifies Alice as the cheater! Neither Bob nor Alice nor the bank could do this alone
i acct random acct random random acct random
acct holder
0 0C 17
1 0C 13 1F 0C Alice
2 0C 05
3 0C 05 09 0C Alice
4 0C 2B
5 0C 11 1D 0C Alice
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Chaum Protocol• Now Alice tries to spend the coin again with Charlie. He finds
b=6 and picks random number 010000• Charlie goes through the same procedure as Bob and sends the
numbers he receives to the bank when he deposits the coin
i acct random acct random Charlie’s bit Charlie receives
0 0C 17 0 17
1 0C 13 1F 0 1F
2 0C 05 0 05
3 0C 05 09 0 09
4 0C 2B 1 2B
5 0C 11 1D 0 1D
ELECTRONIC CASH
FALL 2000
COPYRIGHT © 2000 MICHAEL I. SHAMOS
Chaum Protocol• If Alice’s random number has b bits, what is the probability she
can spend a coin twice without being detected?• Bob and Charlie’s random numbers would have to be identical. If
they differ by 1 bit, the bank can identify Alice.
• Probability that two b-bit numbers are identical p(b) = 2 -b
p(1) = 0.5
p(10) ~ .001
p(20) ~ 1/1,000,000
p(30) ~ 1/1,000,000,000
p(64) ~ 5 x 10 -20
p(128) ~ 3 x 10 -39
• Chaum protocol does not guarantee detection