コンピューター・サイエンス＆テクノロジ専門誌

Interface
2025年8月号

認証のしくみからアルゴリズムまで

［Pythonで体験！］はじめての暗号

6月25日発売 (定価 1,300円＋税)

• ダウンロード
• 訂正と補足
• 読者アンケート

• 
• 

【特設】HTTPS＆TLSのしくみ
【別冊付録】IoTセンサ図鑑［2025年版］
【新連載】ラズパイ×OpenCL GPUアプリ作り

［Pythonで体験！］はじめての暗号

• ［Pythonで体験！］はじめての暗号

   

  p.17

• イントロダクション1

  スマート時代のものづくりをかげで支える暗号技術

  編集部

  pp.18-19

  

• イントロダクション2

  全てのモノがネットワークにつながる今…ますます重要に

  情報社会を縁の下で支える！セキュリティの要「暗号技術」

  野上 保之

  pp.20-23

  

• プロローグ

  パスワード認証を例に…暗号なしの場合から公開鍵暗号まで

  認証のしくみから見る暗号技術の役割

  荒木 俊輔

  pp.24-30

  

第1部　Pythonコードを動かしながら学ぶ…暗号の基礎

• 第1章

  構成要素は「アルゴリズム」と「鍵」

  漫画作品や歴史からひもとく暗号のしくみ

  安田 翔也

  pp.31-37

  

• 第2章

  シーザー暗号/XOR pad/AESの仕組みからひもとく

  メカニズムから見る暗号鍵の役割

  大坂 幸治

  pp.38-47

  

• 第3章

  定番のRSAと楕円曲線暗号を例に鍵の生成から暗号化と復号，署名と検証まで

  公開鍵暗号の原理と基礎

  宮田 賢一

  pp.48-52

  

• 第4章

  ラズパイPico 2 W-PC間で実際に通信して不正なメッセージを検出できるか実験する

  フルスクラッチ実装で理解する公開鍵暗号のセキュア通信

  宮田 賢一

  pp.53-64

  

• 第5章

  ディフィー・ヘルマン鍵共有から楕円曲線ディジタル署名アルゴリズムまで

  アルゴリズムから理解する公開鍵暗号技術

  白勢 政明

  pp.65-74

  

第2部　現場で活躍中！コードで見る実践暗号技術

• 第1章

  設計時に検討すべき事項から定番AESの実装まで

  IoTシステムにおける暗号技術

  足立 英治

  pp.75-82

  

• 第2章

  RSAやTLSでも利用されている！その暗号が破られないことを数学的に考える

  暗号技術の安全性を証明する方法

  米山 一樹

  pp.83-85

  

• 第3章

  TLSや5G/Bluetooth認証の安全性証明にも使われている「ProVerif」で試す

  形式検証ツールを使って暗号の安全性を証明してみる

  米山 一樹

  pp.86-90

  

第3部　来る量子コンピュータ時代に備える…近未来の暗号技術

• 第1章

  ショアのアルゴリズムでRSAが解かれる？耐量子計算機暗号の考え方とは

  なぜ量子コンピュータが現代暗号の脅威なのか

  西出 隆志

  pp.91-99

  

• 第2章

  秘密計算，属性ベース暗号，関数型暗号，ゼロ知識証明

  現代暗号の発展形…次世代の「高機能暗号」

  西出 隆志

  pp.100-103

  

• 第3章

  量子雑音を利用して安全なデータ通信を行うY-00暗号

  数理アルゴリズムに頼らない！物理現象を利用する暗号通信

  二見 史生

  pp.104-110

  

特設　HTTPS＆TLSのしくみ

• 第1章

  数百行のシンプルTLSクライアントで学ぶ

  実装して理解するセキュリティ・プロトコルTLS

  古城 隆

  pp.111-120

  

• 第2章

  標準規格ML-KEMと楕円曲線暗号のハイブリッド・アルゴリズムで

  量子コンピュータでも解読が困難な耐量子暗号PQCを試す

  古城 隆

  pp.121-126

  

人工知能や科学計算

• ［PR］AI装置やアプリ製作

  第4回　ラズベリー・パイに学習済みモデルを組み込む…ailia SDKの活用

  小池 誠

  pp.131-133

  

画像基礎＆実践

• OpenCVワンポイント講座

  第5回　OpenCVだけで作れる！ボタン付きGUIアプリ

  安川 章

  pp.134-135

  

OS使いこなし

• Yocto Projectではじめる組み込みLinux開発入門

  第19回　Yocto Project5.0編②…ラズパイのブート・シーケンス

  三ツ木 祐介

  pp.148-153

  

Raspberry Piライフ

• ハイレゾ＆I2S伝送対応！［新］ラズパイPico DACの製作

  第16回　再生環境を変更したときの音への影響

  geachlab

  pp.154-161

  

回そう！モータ

• 最終回　毎号実験!自律移動ロボット

  第12回　AIカメラによる猫のトラッキング

  川村 聡

  pp.162-166

  

LiDAR

• ラズパイ・カメラとライン・レーザで作る2次元LiDAR

  第2回　実験用ハードウェアの準備＆キャリブレーション

  葛谷 直規

  pp.167-173

  

• 高価なLiDARは不要！正確な位置合わせで認識精度や表現力を高める

  深度カメラRealSenseで点群データ生成にトライ

  岩澤 秀樹

  pp.174-182

  

• 実機がなくても大丈夫

  2次元LiDAR評価の方法3選

  まきの しんじ

  pp.183-186

  

テクノロジー掘り下げ

• もっと深掘り!Git＆GitHub

  第5回　巨大プロジェクトの分割に便利なサブモジュール機能

  松岡 貴志，高瀬 英希

  pp.127-130

  

• Pythonで体験カルマン・フィルタ入門

  第4回　確率密度関数とベイズ定理の役どころ

  廣川 類

  pp.136-139

  

• 新連載　ラズパイ×Open CL GPUアプリ作り

  第1回　RGB/グレースケール変換アプリの作成

  本橋 弘臣

  pp.140-145

  

• Appendix

  今どきのPC向けGPUはAI処理も行う

  中森 章

  pp.145-147

ニュース＆レポート＆お知らせ

• ほんのりInterface

   

  pp.188-189

• Dojo通信

  第12回　CoderDojo奈良

   

  p.189

• 読者プレゼント

   

  p.193

• 次号予告

   

  p.194

別冊付録

• IoTセンサ図鑑 2025年版