機能を安全に設計・実装する
webセキュリティ対策の全体像｜主な脆弱性・認証・診断と改修の進め方
webセキュリティとは何かと、入力の扱い・認証と認可・公開設定と更新の3か所で点検する方法を、IPAやOWASPの資料をもとに説明する。脆弱性診断の時期と、診断結果から改修の順番を決める手順も扱う。
Lean言語で権限逸脱が起きないことを数学的に証明、「Nyxis」が保証する安全性とは
Lean言語で認可の安全性を証明するNyxis。DB操作を認可層に通す構造と、1回の操作から要求の繰り返しへ証明を広げる仕組みを解説する。
「A2B攻撃」とは？アプリに脆弱性がなくても情報漏洩する理由と自社APIで確かめる対策
A2B攻撃とは、公開Androidアプリの解析結果を悪用して接続先サーバーを狙う手法だ。NICTの注意喚起を基に、情報漏洩につながる認可などの不備、AIによる解析の効率化と、自社のAPIとバックエンドで確かめるA2B攻撃の対策を、点検から暫定対策・修正まで解説する。
AI攻撃対応型システム改修支援既存システムの制約と業務への影響を踏まえ、改修の計画から実装・結果の確認まで支援します。
