2024-03-28T23:50:57Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:02001080
2022-12-14T04:11:53Z
1221:1308:1665968820498
形式手法による暗号の安全性証明自動検証システムの開発
Developing Automated formal Verification System for Cryptology
岡﨑, 裕之
研究種目:基盤研究(C)
研究期間:2017~2020
課題番号:17K00182
研究代表者:岡崎 裕之
研究者番号:50432167
Other
2017~2020年度科学研究費助成事業(基盤研究(C)研究成果報告書 課題番号:17K00182 研究代表者:岡崎 裕之
2021
jpn
research report
VoR
http://hdl.handle.net/10091/0002001080
https://soar-ir.repo.nii.ac.jp/records/2001080
https://soar-ir.repo.nii.ac.jp/record/2001080/files/17K00182seika.pdf
application/pdf
2022-10-24