文献

J-GLOBAL ID：201902241907638315   整理番号：19A2622711

Mizarによる離散確率分布の統計的識別不能性の形式化

著者 (3件)： 岡崎裕之 (信州大) ,  布田裕一 (東京工科大) ,  師玉康成 (信州大)
資料名： 日本応用数理学会年会講演予稿集(CD-ROM)  (JSIAM年会講演予稿集(CD-ROM))
巻： 2019  ページ： 232-233  発行年： 2019年08月21日 
JST資料番号： L6974B  ISSN： 1345-3378  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 発表者らは暗号の安全性証明の形式検証についての研究を進めている。本発表では確率分布の統計的な同一性の判定方法であるKS検定の形式化を定理証明システムMizarを用いて行うことで,統計的識別不能性を形式化する方針について報告する。(著者抄録)

シソーラス用語： *確率分布 ,  検証 ,  *暗号理論 ,  定式化 ,  仕様記述言語 ,  安全管理
準シソーラス用語： Kolmogorov-Smirnov検定 ,  Mizar ,  安全性証明 ,  記述言語 ,  形式検証 ,  *離散確率分布

分類 (1件)： 符号理論  (ND02030R)

タイトルに関連する用語 (4件)： 確率分布 ,  統計 ,  識別 ,  形式化