@MISC{DESCIP_1.MIZ,
  AUTHOR = {Okazaki, Hiroyuki and Shidama, Yasunari},
  TITLE = {Formalization of the Data Encryption Standard},
  SECTION1 = {Preliminaries},
  SECTION2 = {S-Boxes},
  SECTION3 = {Initial Permutation},
  SECTION4 = {Feistel Function},
  SECTION5 = {Key Schedule},
  SECTION6 = {Encryption and Decryption},
  DAY = {30},
  MONTH = {November},
  YEAR = {2011},
  ADDRESS1 = {Shinshu University, Nagano, JAPAN},
  ADDRESS2 = {Shinshu University, Nagano, JAPAN},
  SUMMARY = {In this article, we formalize DES,
   the Data Encryption Standard, that was the most
  widely used symmetric cryptosystem in the world.
  DES is a block cipher which was selected by
  the National Bureau of Standards as an official
   Federal Information Processing Standard for the
   United States in 1976 \cite{FIPS}.},
  NOTE = {This work was supported by JSPS KAKENHI 2124000101.}}

@ARTICLE(FIPS,
      AUTHOR  = {U.S. Department of Commerce/National Institute of Standards and Technology},
      TITLE   = {FIPS PUB 46-3, DATA ENCRYPTION STANDARD (DES)
      http://csrc.nist.gov/publications/fips/fips46-3/fips46-3.pdf},
      JOURNAL = {Federal Information Processing Standars Publication},
      YEAR    = 1999.)
