ＡＩ、ＩｏＴの普及に伴い、セーフティとセキュリティが確保されたシステムの構築が急務となっている。セーフティとは「偶発的なミス、故障などの悪意のない危険に対する安全」のことである。一方、「悪意をもって行われる脅威に対しての安全」を確保することをさすセキュリティには「安心」という意味もある。セーフティとセキュリティが確保されて初めて安全安心なデジタル社会を構築できるのである。本書では「システム思考」と「レジリエンス・エンジニアリング」を駆使し、セーフティ技術とセキュリティ技術を統合的に組み合わせて、安全安心なシステムを構築する方法やその考え方を紹介している。ＳＴＡＭＰ（Ｓｙｓｔｅｍ　Ｔｈｅｏｒｅｔｉｃ　Ａｃｃｉｄｅｎｔ　Ｍｏｄｅｌ　ａｎｄ　Ｐｒｏｃｅｓｓｅｓ）、ＦＲＡＭ（Ｆｕｎｃｔｉｏｎａｌ　Ｒｅｓｏｎａｎｃｅ　Ａｎａｌｙｓｉｓ　Ｍｅｔｈｏｄ）、ＧＳＮ（Ｇｏａｌ　Ｓｔｒｕｃｔｕｒｉｎｇ　Ｎｏｔａｔｉｏｎ）などのセーフティ技術、コモンクライテリアなどのセキュリティ標準、セーフティ・セキュリティの統合手法ＳＴＡＭＰ　Ｓ＆Ｓ、セーフティ・セキュリティの開発方法論ＣＣ‐Ｃａｓｅについても解説。本書は、事例を交えて「ＡＩ、ＩｏＴ時代のシステム安全」を解き明かす「セーフティ＆セキュリティ」の入門書である。
もくじ情報：第１章　セーフティ＆セキュリティ概説；第２章　システム理論とＳＴＡＭＰ；第３章　レジリエンス・エンジニアリングとＦＲＡＭ；第４章　セキュリティ・バイ・デザイン；第５章　ＩＴセキュリティ標準コモンクライテリアとＣＣ‐Ｃａｓｅ；第６章　アシュアランスケースとＩｏＴのセーフティとセキュリティ；第７章　機械学習システムのセーフティとセキュリティ

金子　朋子(カネコ　トモコ)
博士（情報学）。国立情報学研究所特任准教授。（株）ＮＴＴデータエグゼクティブＲ＆Ｄスペシャリスト。公認情報セキュリティ監査人。日本科学技術連盟ＳＱｉＰ研究会セーフティ＆セキュリティ分科会主査。電子情報通信学会知能ソフトウェア工学研究会専門委員。日本セキュリティマネジメント学会ＩｏＴリスク研究会幹事。日本ソフトウェア科学会機械学習工学研究会機械学習システムセーフティ・セキュリティＷＧ幹事。経歴：（株）ＮＴＴデータに１期生として入社し、システム開発や品質保証業務を長年実施。２００８年より社会人大学院で学び、２０１４年セキュリティ要求と保証の研究で学位を取得。２０１６年‐２０１９年（独）情報処理推進機構（ＩＰＡ）に在籍出向し、システム理論（ＳＴＡＭＰ）やレジリエンスエンジニアリング（ＦＲＡＭ）等の安全分析技術の普及展開に従事。２０１９年‐現在、国立情報学研究所に在籍出向し、「ＡＩシステムの安全性」を研究（本データはこの書籍が刊行された当時に掲載されていたものです）