0pt

体系的に学ぶ 安全なWebアプリケーションの作り方 脆弱性が生まれる原理と対策の実践

徳丸 浩 | SBクリエイティブ | 2011-03-01

SQLインジェクション、クロスサイト・スクリプティング、セッションハイジャック、etc.Webプログラマが知っておくべき攻撃と防御の知識を徹底解説。 1 Webアプリケーションの脆弱性とは 2 実習環境のセットアップ 3 Webセキュリティの基礎-HTTP、セッション管理、同…

0pt

0pt

形式手法入門―ロジックによるソフトウェア設計―

中島 震 | オーム社 | 2012-04-20

1章 論理で考える 2章 指先で考える 3章 機能仕様を論理で考える 4章 リファインメントを検査する 5章 オブジェクト指向デザインを検査する 6章 振る舞い仕様を検査する 7章 プログラム検査を論理で考える 付録 モデル規範形式手法の流れ

0pt