How TKIP Induces Biases of Internal States of Generic RC4

• Ito, Ryoma

• Miyaji, Atsuko

抄録

RC4, designed by Rivest, is widely used including WPA, which is one of the security protocols for IEEE 802.11 wireless standard. The first 3-byte RC4 keys in WPA generated by IV are known since IV can be obtained by observing a packet. In 2014, Sen Gupta et al. found linear correlations between the keystream byte and known RC4 key bytes. In 2015, Our previous work extended linear correlations to include unknown internal states as well as the keystream byte and known RC4 key bytes. They found more than 150 linear correlations experimentally, and proved only 6 cases theoretically. In this paper, we will provide theoretical proof of 15 cases out of their unproven linear correlations. These theoretical results demonstrated how TKIP key generation procedure in WPA induces biases on internal states different from generic RC4.

20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 - July 1, 2015, Proceedings

identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/13655

収録刊行物

• Lecture Notes in Computer Science

  Lecture Notes in Computer Science 9144 329-342, 2015-06-25

  Springer

キーワード

• RC4
• WPA
• TKIP
• linear correlation

詳細情報

• CRID: 1050282812515195136
• NII論文ID: 120005767114
• ISSN: 03029743
• Web Site: http://hdl.handle.net/10119/13655
• 本文言語コード: en
• 資料種別: journal article
• データソース種別:
  • IRDB
  • CiNii Articles