home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / crypt / 7143 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  1.2 KB
  1. Path: sparky!uunet!gatech!darwin.sura.net!spool.mu.edu!agate!ucbvax!silverton.berkeley.edu!djb
  2. From: djb@silverton.berkeley.edu (D. J. Bernstein)
  3. Newsgroups: sci.crypt
  4. Subject: Re: Second cousin to a spoof proof
  5. Message-ID: <12270.Jan2521.02.2993@silverton.berkeley.edu>
  6. Date: 25 Jan 93 21:02:29 GMT
  7. References: <1993Jan18.170802.15444@bernina.ethz.ch> <C12I97.G3o@dcs.ed.ac.uk> <C13L7D.1M7@dcs.ed.ac.uk>
  8. Organization: IR
  9. Lines: 15
  10. X-Mail-Warning: Do not reply by mail---silverton not configured yet.
  11.  
  12. In article <C13L7D.1M7@dcs.ed.ac.uk> pdc@dcs.ed.ac.uk (Paul Crowley) writes:
  13. > At the moment, I can't think how to define the problem precisely enough
  14. > to prove that spoofing is impossible.
  15.  
  16. Assume there is an automorphism of the universe which switches Bob and
  17. Charlie. Then no matter what Alice does, she can't tell the difference
  18. between Bob and Charlie. More precisely, Alice cannot define the
  19. function which is 1 for Bob and 0 for Charlie, because this function
  20. is not invariant under the automorphism.
  21.  
  22. In practice, for this automorphism to exist, Bob and Charlie have to
  23. start with all the same information, receive all the same information,
  24. and be in a position to send all the same information.
  25.  
  26. ---Dan
  27.