JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/13655

タイトル: How TKIP Induces Biases of Internal States of Generic RC4
著者: Ito, Ryoma
Miyaji, Atsuko
キーワード: RC4
WPA
TKIP
linear correlation
発行日: 2015-06-25
出版者: Springer
誌名: Lecture Notes in Computer Science
巻: 9144
開始ページ: 329
終了ページ: 342
DOI: 10.1007/978-3-319-19962-7_19
抄録: 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.
Rights: This is the author-created version of Springer, Ryoma Ito, Atsuko Miyaji, Lecture Notes in Computer Science, 9144, 2015, 329-342. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-319-19962-7_19
URI: http://hdl.handle.net/10119/13655
資料タイプ: author
出現コレクション:b10-1. 雑誌掲載論文 (Journal Articles)

このアイテムのファイル:

ファイル 記述 サイズ形式
21537.pdf122KbAdobe PDF見る/開く

当システムに保管されているアイテムはすべて著作権により保護されています。

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係