jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ セキュリティ 数学 最近の記事では暗号とその安全性証明の基礎を勉強したいと思い、シャノンの完全秘匿性やそれを実装するワンタイムパッド暗号、完全秘匿性を持つ暗号における鍵の長さに関する定理の証明などを勉強しました。安永さん（東工大の先生ですね）の本を購入し、また公開されているPDFなどを大いに参考にさせていただきました。 暗号理論入門 作者:安永 憲司 森北出版 Amazon 暗号システムと完全秘匿性の定義 ワンタイムパッド暗号の定義と完全秘匿性を満たすことの証明 完全秘匿性を満たす暗号での鍵集合と平文集合の大きさに関する定理の証明 を行い、そのLean4での形式化を紹介してきました。最後の定理については前回の記事… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2025%2F08%2F26%2F180000" title="完全秘匿性のLean4による形式化のまとめ　Githubで公開 - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/41Fyxg4APHL._SL500_.jpg Hatena Blog https://hatena.blog 2025-08-26 18:00:00 rich https://maxima.hatenablog.jp/entry/2025/08/26/180000 1.0 100%