Home >

news Help

Publication Information


Title
Japanese:計算機援用計算量理論的安全性の定式化に関する一検討 
English:A Study on Formularization of Computer Aided Computational Security 
Author
Japanese: 神農泰圭, 兼子拓弥, 高橋健太, 尾形わかは, 西垣正勝.  
English: Tasuyoshi Jinno, Takuya Kaneko, Kenta Takahashi, Wakaha Ogata, Masakatsu Nishigaki.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Jan. 2016 
Publisher
Japanese: 
English: 
Conference name
Japanese:暗号と情報セキュリティシンポジウム 
English:The 33nd Symposium on Cryptography and Information Security 
Conference site
Japanese:熊本 
English: 
Abstract 計算量的安全性に基づくセキュリティシスムおいては，CPUの計算機能力が時代とともに進化するという経時的な要因と，攻撃者が正規ユーザと比較してどれだけ大きい計算コストをかけるという相対的な要因の両者を考慮して秘密情報のエントロピを確保するこ とが必要となる．しかし，CPUの計算機能力の進化は攻撃者だけでなく正規ユーザにも恩恵を与えるものである．そこで本稿は，現在の計算量的安全性定式化を拡張し，正規ユーザによる，CPUの計算機能力利用に起因するエントロピを，正規ユーザが所持する秘 密情報のエントロピに上乗せして扱える計算機援用 計算量的安全性の枠組みを提案する．

©2007 Tokyo Institute of Technology All rights reserved.