論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築 - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 OA 論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築

著者: 長谷部浩二
巻号頁・発行日: 2012

科学研究費助成事業(科学研究費補助金)研究成果報告書:若手研究(B)2009-2011

2013-04-11 08:31:28
1 + 0 Twitter

http://hdl.handle.net/2241/118836

言及状況

Twitter (1 users, 1 posts, 0 favorites)

収集済み URL リスト

https://tsukuba.repo.nii.ac.jp/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=28673&item_no=1&page_id=13&block_id=83 (1)