セキュリティブログ
Windowsセキュリティの技術解説と比較記事を、MIKAGE開発者が実際の開発・検証経験をもとに発信しています。
CVEとは？Log4Shell・Heartbleed・EternalBlue・XZ Utilsで学ぶ有名な脆弱性
CVE・CVSS・CWEの違いから、歴史に残る4つの脆弱性の仕組みと教訓までを攻撃の流れ付きで解説。
ソフトウェアの脆弱性を数学で形式化する：∀x S(P(x)) から形式検証まで
「脆弱性がない」を論理式で書くと何が見えるか。停止性問題と、形式検証の主要手法を数式で解説。
YARAルールとは？マルウェア検知の仕組みと落とし穴
19,000件超のルールを実運用して分かった、「広すぎるルール」が引き起こす誤検知の実例つき解説。
Windows Defenderと市販アンチウイルスの違い
標準搭載のDefenderと追加ソフトを比べるときに見るべきポイント。
ファイル改ざん検知の仕組み
Windowsのファイルシステム変更通知の仕組みと、EDRツールがそれをどう使うか。
自宅ネットワークの脆弱性を確認する方法
CVE・KEVカタログとは何か、家庭用ルーターがなぜ狙われるのか。
Windowsのウイルス対策ソフトとは？
無料・有料・買い切りの違いと、選び方の基本を整理します。
Windows 10/11のセキュリティ対策チェックリスト
PC本体・ファイル・ネットワークをどう組み合わせて守るかの考え方。
OSI参照モデルとは？層別セキュリティ対策とTCP/IPモデルとの比較
7層それぞれで発生しうる脅威と対策、TCP/IP4層モデルとの対応表つきで解説。
暗号強度とは？TLSの仕組みとDH・ECC・RSA・格子暗号の計算量比較
鍵長だけでは測れない暗号強度の本当の意味と、アルゴリズム研究の進化というリスク。
楕円曲線暗号の深い話：リーマン・ロッホの定理から加法則を導く
ECCの幾何学的な加法則の裏にある、因子類群とリーマン・ロッホの定理の関係。
数論と楕円曲線の話：ABC予想・スピロ予想と暗号の関係
Frey曲線を通じてABC予想とスピロ予想がつながる理由を解説。
暗号解読の量子アルゴリズムとは？ショアのアルゴリズムと格子暗号の現在地
量子コンピュータが何をすでに破れて、何をまだ破れていないのかを整理。
量子通信とは？BB84とエンタングルメント配布の違い、東芝の開発史
量子鍵配送の2つの方式の違いと、量子リピータを可能にするエンタングルメントスワップの仕組み。
量子インターネットセキュリティとは？レイヤー別に見る量子通信インフラの脅威と対策
鍵配送だけが量子化されても、それだけでは安全な量子インターネットにはならない理由。
量子計算機とは？フォールトトレラント量子計算と各社の開発動向
物理量子ビットはなぜそのままでは使えないのか。誤り訂正の仕組みと各社の実装方式・最新動向。
グローバーのアルゴリズムとは？2量子ビットモデルから一般化まで
なぜ2量子ビットの場合はたった1回の反復で解が見つかるのか。振幅増幅の考え方を一般化する。
量子情報の基本：ノークローニング定理・テンソル積・密度行列の対角成分
量子コンピュータの計算結果は、なぜ常に密度行列の対角成分から得られるのか。
半導体の基本：CMOS設計からウエハ・酸化膜・リソグラフィ・ドーピングまで
1個のトランジスタが完成するまでに、何十回も繰り返されるプロセスの流れを整理する。
日本のAI国家プロジェクトはなぜ頓挫したか:第五世代コンピュータの教訓
約540億円を投じた国家プロジェクトは、技術目標の多くを達成しながら産業的成果をほとんど残せませんでした。
日本のサイバーセキュリティ法規制のパラドックスとは？
不正アクセス禁止法・能動的サイバー防御法・登録セキスペ。「制度の厚さ」と「実戦力の厚さ」がずれる構造。
VPN・匿名化技術と暗号資産:匿名性がもたらす犯罪と法規制の困難さ
「同じ道具、違う使い手」という構造が、なぜ法規制をここまで難しくしているのかを実データから整理します。
デュアルユース技術と技術者倫理とは？
バグを見つけて直す技術と、突く技術は同じ技術です。技術に善悪がないなら、何が分岐点になるのか。
国家安全保障言語としてのRust｜メモリ安全性がなぜ政策課題になったのか
ホワイトハウスもNSAもCISAも「メモリ安全な言語へ」と言う根拠と、どこまでが事実でどこからが期待かを整理。
なぜアメリカはサイバーセキュリティを民間に委ねてきたのか
前半は実在の政策文書に基づく事実、後半は明示的に「推測」と断った次世代領域の展望。
BTC・ステーブルコインを取り巻く環境の危険性とは？
ハッシュ関数の解読史、ビットコインが実際に使う暗号技術、スノーデン告発、ステーブルコインのデペグ事例を整理。
VLSIとは？回路検証と回路配置アルゴリズム
回路等価性検証の計算量、オイラー路によるトランジスタ配置、区間グラフによるチャネルルーティングを解説。
量子回路とは？ワイヤーモデルと基本ゲート
量子ゲートを作用素代数・線形代数・双対線形空間の3つの視点から解説。
Jouxのヴェイユペアリングによる鍵交換アルゴリズムとは？
双線形形式・歪み写像による1ラウンド3者間鍵交換と、ペアリングがDDH問題を解いてしまう理由を解説。