アサーションとは？

アサーションの意味

プログラム中の特定の地点で成立しているべき条件を式として埋め込み、実行時に検査して成立しなければ異常として報告する仕組み。前提条件・事後条件・不変条件の破れを早期に検出できる。

アサーションの具体例

関数の入口でポインタが非NULLであること、配列添字が範囲内であることを表明する。

アサーションは試験でどう引っ掛けられる？

出荷版では無効化する運用が一般的だが、無効化されると副作用が消える書き方（assert内で値を変更する）をしてはならない。

アサーションと関連する用語

• 静的解析
• 単体テスト・結合テスト・システムテスト
• デバッグ

アサーションが出た過去問

• 標準化団体OASISが，Webサイト間で認証，属性及び認可の情報を安全に交換するために策定したフレームワークはどれか。

  正解：SAML

  要点：SAMLはOASIS策定の認証・認可情報交換の枠組み

  SAMLはOASISが策定したXMLベースのフレームワークで、認証・属性・認可の情報をアサーションという形式で異なるドメイン間でやり取りする。これによりシングルサインオンが実現でき、IdP（ID提供者）とSP（サービス提供者）の間で信頼関係を結ぶ構成をとる。

  出典：平成29年度 秋期 情報処理安全確保支援士試験 am2 問3（IPA）

• 標準化団体OASISが，Webサイトなどを運営するオンラインビジネスパートナ間で認証，属性及び認可の情報を安全に交換するために策定したものはどれか。

  正解：SAML

  要点：SAMLは認証・属性・認可の情報を安全に交換する標準

  SAMLはOASISが策定したXMLベースの標準で、認証、属性、認可に関する情報（アサーション）を異なるドメインのシステム間で安全にやり取りするための仕様である。これによりドメインをまたぐシングルサインオンが実現できる。

  出典：令和1年度 春期 情報処理安全確保支援士試験 am2 問3（IPA）

• SAML（Security Assertion Markup Language）の説明として、最も適切なものはどれか。

  正解：認証情報に加え、属性情報とアクセス制御情報を異なるドメインに伝達するためのWebサービスの仕様

  要点：SAMLは認証・属性・認可をドメイン間で伝える仕様

  SAMLは、認証結果や利用者の属性、アクセス可否の判断をアサーションと呼ばれるXML文書で表現し、異なる組織やドメインの間で安全にやり取りするための標準仕様である。IdP（認証を行う側）とSP（サービスを提供する側）が信頼関係を結ぶことで、ドメインをまたいだシングルサインオンやフェデレーションが実現できる。認証・属性・認可の三種のアサーションを扱える点が要点である。

  出典：令和2年度 10月 情報処理安全確保支援士試験 am2 問2（IPA）

• シングルサインオンの実装方式の一つであるSAML認証の特徴はどれか。

  正解：IdP（Identity Provider）がSP（Service Provider）の認証要求によって利用者認証を行い、認証成功後に発行されるアサーションをSPが検証し、問題がなければクライアントがSPにアクセスする。

  要点：SAMLはIdPの署名付きアサーションをSPが検証して認証する

  SAML認証では、サービスを提供するSPが利用者の認証をIdPに委ねる。SPからの認証要求を受けたIdPが利用者を認証し、その結果を署名付きのアサーションとして返す。SPは署名を検証してアサーションの正当性を確かめ、問題がなければアクセスを許可する。組織やドメインをまたいで信頼関係を結べるため、クラウドサービス間のシングルサインオンで広く使われる。

  出典：令和3年度 秋期 情報処理安全確保支援士試験 am2 問4（IPA）

• 標準化団体OASISが,Webサイトなどを運営するオンラインビジネスパートナー間で認証,属性及び認可の情報を安全に交換するために策定したものはどれか。

  正解：SAML

  要点：SAMLは認証・属性・認可を組織間で交換するOASISの仕様

  SAMLは、標準化団体OASISが策定した、認証・属性・認可の情報をXML形式のアサーションとして組織間でやり取りする仕様である。認証を担うIdPと、サービスを提供するSPが信頼関係を結ぶことで、事業者をまたいだシングルサインオンやフェデレーションが実現できる。アサーションには署名が施され、改ざんや偽造を検出できる。

  出典：令和4年度 秋期 情報処理安全確保支援士試験 am2 問3（IPA）