フォーマルメソッドの新潮流 : Part III: 新領域の開拓 : 7.フォーマルメソッドによる暗号安全性

3 0 0 0 OA フォーマルメソッドの新潮流 : Part III: 新領域の開拓 : 7.フォーマルメソッドによる暗号安全性

著者: 萩谷昌己
雑誌: 情報処理
巻号頁・発行日: vol.49, no.5, pp.537-543, 2008-05-15

近年世界的に研究が活性化している,フォーマルメソッドと暗号理論との境界領域について解説する.

2019-11-13 12:57:00
3 + 6 Twitter

http://id.nii.ac.jp/1001/00060939/

言及状況

Twitter (3 users, 3 posts, 6 favorites)

CCS Formal ２つ目。5Gのプロトコルの検証を行う5GReasonerの提案By Purdue Dolev-Yao Adversary Modelを仮定して検証 https://t.co/addyJuLJMz これ難しい萩谷先生の「フォーマルメソッドの暗号安全性」情報処理 2008が参考になりそう https://t.co/gaq67JoRsa 講義資料 https://t.co/vA3o50a8dB

2 @qooqle @suzukimio

6 @matsudotsuyoshi @flano_yuki @polo_bear_in_us @qooqle @rracci @yas_matsu

収集済み URL リスト

https://ipsj.ixsq.nii.ac.jp/ej/index.php?action=pages_view_main&active_action=repository_action_common_download&item_id=60939&item_no=1&attribute_id=1&file_no=1&page_id=13&block_id=8 (3)