@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00208574,
 author = {知念, 広太郎 and 穴田, 啓晃 and Kotaro, Chinen and Hiroaki, Anada},
 book = {コンピュータセキュリティシンポジウム2020論文集},
 month = {Oct},
 note = {属性ベース認証が Anada ら (ACISP2013) により提案されている．また，属性ベース暗号の準適応<br>的攻撃モデルの安全性が Chen-Wee ら (SCN2014) により提案されている．本稿で我々は，属性ベース認<br>証に対する準適応的中間者攻撃モデルの安全性を提案する．我々は準適応的攻撃に対し安全な属性ベース<br>暗号をチャレンジ＆レスポンスに用いた属性ベース認証が準適応的中間者攻撃に対し安全であることを証<br>明する．一方，Goyal ら（TCC2016-B）が提案した，選択的攻撃に対し安全な関数型暗号から準適応的攻<br>撃に対し安全な関数型暗号への Garbled Circuits と公開鍵暗号を用いた一般的変換を使用し，選択的攻撃<br>に対し安全な属性ベース鍵カプセル化機構から準適応的中間者攻撃に対し安全な属性ベース認証への一般<br>的構成を書き下す．最後に，Garbled Circuits を用いない準適応的中間者攻撃に対し安全な属性ベース認<br>証との性能比較について述べる, Attribute-based authentication was proposed by Anada et al.(ACISP 2013). Also, semi-adaptive<br>security of attribute-based encryption was proposed by Chen-Wee et al.(SCN2014). In this paper, we propose semi-adaptive man-in-the-middle attack security against attribute-based authentication. We prove that<br>attribute-based authentication constructed by applying attribute-based encryption that is secure against<br>semi-adaptive attacks to challenge-response is secure against semi-adaptive man-in-the-middle attacks. Goyal<br>et al. (TCC2016-B) proposed a general transformation using Garbled Circuits and public key encryption<br>from functional encryption that is secure against selective attacks to functional encryption that is secure<br>against semi-adaptive attacks. We use this general transformation to write down the general configuration from an attribute-based key encapsulation mechanism that is secure against selective attacks to an<br>attribute-based authentication that is secure against semi-adaptive man-in-the-middle attacks. Finally, we<br>describe a performance comparison with attribute-based authentication that is secure against semi-adaptive<br>man-in-the-middle attacks that do not use Garbled Circuits.},
 pages = {1055--1062},
 publisher = {情報処理学会},
 title = {属性ベース認証方式の準適応的中間者攻撃に対する安全性の提案とGarbled Circuitsを用いた一般的構成},
 year = {2020}
}