Article View: sci.crypt
Article #1375Re: DES generates A_(2^64)?
From: Ross Anderson
Date: Fri, 16 Oct 1992 09:42
Date: Fri, 16 Oct 1992 09:42
35 lines
2185 bytes
2185 bytes
In <PHR.92Oct15174530@napa.telebit.com>, phr@telebit.com (Paul Rubin) writes:
Michael Wiener and I submitted a paper to Crypto '92 entitled "DES is not
a Group". The principal argument is as follows.
Consider the closure of DES encryptions under composition. Our claim is
that this group must include permutations which are not equivalent to DES
encryption with any key. Each of the n_i collected above must divide
the order of the group. Compute n = lcm( n_i, i=1..k ). If n > 2^56 then
the group must be larger than the set of DES encryptions.
...
I heard that someone in Eastern Germany recently proved a stronger
result, that DES generates the alternating group on 2^64 letters.
This had been conjectured a while ago, though I don't know what the
evidence for it was. Anyone know more about this?
Here is an abstract of the relevant paper:
{\bf \noindent R Wernsdorf,}{\em ~Eurocrypt 92\\}
{\bf `The One-round Functions of DES Generate the Alternating Group'}
Each round of DES consists of $2^{48}$ permutations. The group which they
generate is shown to be 3-transitive, and if this were not equal to
$A_{2^{64}}$, then it would have a unique minimal normal subgroup which is
Abelian or simple. The former is excluded by displaying a permutation with
too many fixed points, and the latter by the classification theory of
simple groups.
With luck we'll have the first issue of `Computer and Communications Security
Abstracts' out shortly: it will contain abstracts like this of current
research papers.
Ross Anderson
Technical Details
Message-ID:
<1992Oct16.094217.6932@infodev.cam.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!pipex!pavo.csi.cam.ac.uk!cam-cl!rja14References:
<1992Oct13.174505.24230@b11.b11.ingr.com> <1992Oct15.125830.25539@bnr.ca> <PHR.92Oct15174530@napa.telebit.com>Show Full Headers
Complete Article Headers
Newsgroups: sci.crypt Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!pavo.csi.cam.ac.uk!cam-cl!rja14 From: rja14@cl.cam.ac.uk (Ross Anderson) Subject: Re: DES generates A_(2^64)? Message-ID: <1992Oct16.094217.6932@infodev.cam.ac.uk> Sender: news@infodev.cam.ac.uk (USENET news) Nntp-Posting-Host: ely.cl.cam.ac.uk Reply-To: rja14@cl.cam.ac.uk (Ross Anderson) Organization: U of Cambridge, England References: <1992Oct13.174505.24230@b11.b11.ingr.com> <1992Oct15.125830.25539@bnr.ca> <PHR.92Oct15174530@napa.telebit.com> Date: Fri, 16 Oct 1992 09:42:17 GMT Lines: 36