テクノロジー

ソフトウェア工学、分散構造、エッジコンピューティングおよび開発エコシステムの分析

テクノロジー··閲覧数 1

Accessible Nameの計算:支援技術に伝わるUIの名前

Accessible Nameはボタンやリンクの目的を支援技術に伝える名前です。W3Cの計算規則はroleとマークアップに応じて参照元を決めます。aria-labelledby、aria-label、HTMLのラベルを説明します。

テクノロジー··閲覧数 0

TLS 1.3のハンドシェイクと0-RTTの適用条件

証明書を使う通常の全ハンドシェイクと、任意の0-RTT再開を区別します。PSK方式ごとの前方秘匿性、早期データの再送リスク、導入前に確認すべき条件をRFC 8446に沿って説明します。

テクノロジー··閲覧数 0

DNSSECの信頼の連鎖はDNSデータをどう検証するか

DNSSEC検証リゾルバーは信頼アンカーから親のDS、子のDNSKEYへ進み、DNSデータの署名を確認する。出所と完全性を検証する仕組みであり、DNS問い合わせを暗号化するものではない。

テクノロジー··閲覧数 0

Linux eBPF:検証器の範囲と観測点の選び方

eBPF検証器が確認するメモリ・型の制約と、アプリケーションの正しさとして確認すべき点を分け、カーネル・フック・XDPモードに応じた運用確認を整理します。

テクノロジー··閲覧数 0

SQLite WAL(先行書き込みログ)モードの読み書き並行性とチェックポイント制御

SQLiteのWALモードが読み取りと書き込みの動作をどう変えるか、チェックポイントがWALの内容をデータベースファイルへ反映する仕組みを説明します。WALでも同時に書き込めるのは1つであり、古い読み取りスナップショットやロックがチェックポイントの進行を制限することがあります。

テクノロジー··閲覧数 0

TLS証明書の失効確認を比べる:OCSP StaplingとCRLite

証明書の失効確認では、最新状態の取得と接続の信頼性・プライバシーの両立が課題です。TLSのOCSP Staplingと、失効情報を圧縮して照合するCRLiteを比較し、標準仕様と実装固有の範囲を分けます。

テクノロジー··閲覧数 0

Trusted TypesとCSPでDOM XSSの境界を作る

Trusted Typesはポリシー処理後の値を型で表します。文字列の実際の拒否には対応ブラウザーでCSP enforcementが必要です。