<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/session.security.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'ja',
  ),
  'this' => 
  array (
    0 => 'features.session.security.management.php',
    1 => 'セッション管理の基礎',
    2 => 'セッション管理の基礎',
  ),
  'up' => 
  array (
    0 => 'session.security.php',
    1 => 'セッション と セキュリティ',
  ),
  'prev' => 
  array (
    0 => 'session.security.php',
    1 => 'セッション と セキュリティ',
  ),
  'next' => 
  array (
    0 => 'session.security.ini.php',
    1 => 'セッションに関連する INI 設定をセキュアにする',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'ja',
    'path' => 'reference/session/security.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="features.session.security.management" class="sect1">
   <h2 class="title">セッション管理の基礎</h2>

   <div class="sect2" id="features.session.security.management.basic">
    <h3 class="title">セッションのセキュリティ</h3>

    <p class="para">
     セッションモジュールは、セッションに保存された情報を
     作成したユーザーだけが見られることを保証できません。
     セッションに紐付けられた値によっては、
     セッションの機密性を守るために追加の対策が必要です。
    </p>

    <p class="para">
     セッションに保存されているデータがどれくらい重要かを評価し、
     さらなる防御策を展開すべきかもしれません。
     通常、そうしてしまうとコストが高く付きます。
     たとえば、ユーザーの利便性を損なうことが挙げられます。
     たとえば、ユーザーを単純なソーシャルエンジニアリングから守るためには、
     <a href="session.configuration.php#ini.session.use-only-cookies" class="link">session.use_only_cookies</a> を有効にする必要があります。
     この場合、クッキーを無条件にクライアント側でも有効にしなければなりません。
     さもないとセッションが動作しないからです。
    </p>

    <p class="para">
     既存のセッションIDをサードパーティに漏らす方法は複数あります。
     JavaScriptインジェクション、セッションID を URL に埋め込む方法、
     パケット盗聴、デバイスへの物理アクセス、などです。
     セッションIDが漏れてしまうと、
     サードパーティがその特定のIDに紐付けられた全てのリソースに
     アクセスできるようになってしまいます。

     既存のセッションIDを漏らす最初の方法は、URL でセッションIDを持ち回すやり方です。
     もし外部サイトやリソースへのリンクが存在したとすると、
     セッションIDを含むURLが、外部サイトのリファラログに保存されるかもしれません。
     ふたつめは、より積極的な攻撃者がネットワークトラフィックを盗聴しているかもしれません。
     ネットワークトラフィックが暗号化されていないと、
     セッションIDがネットワーク越しにプレーンテキスト内に流出してしまいます。
     防御策は、SSL/TLS をサーバー側で実装し、ユーザーがそれを使うように強制することです。
     HSTS も、セキュリティを向上させるために使えるはずです。
   </p>

   <blockquote class="note"><p><strong class="note">注意</strong>: 
    <span class="simpara">
     HTTPS でさえも、あらゆる時に機密データを保護することはできません。
     たとえば、CRIME や Beast 脆弱性が、攻撃者にデータを読めるようにしてしまうかもしれません。
     また、多くのネットワークは HTTPS の MITMプロキシ を監査の目的で採用しています。
     攻撃者も、そうしたプロキシをセットアップしているかもしれません。
    </span>
   </p></blockquote>

  </div>

  <div class="sect2" id="features.session.security.management.non-adaptive-session">
   <h3 class="title">セッションアダプションを防ぐためのセッション管理</h3>

   <p class="para">
    PHP のセッションマネージャーは、
    現状ではデフォルトでセッションアダプション攻撃が可能です。
    アダプション攻撃が可能なセッションマネージャーは、
    追加のリスクを背負うことになります。
   </p>

   <p class="para">
    <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a>を有効にし、かつセッションの保存ハンドラがサポートしている場合、
    初期化されていないセッションIDは拒否され、新しいものが作成されます。
    これによって、攻撃者がユーザーに既知のセッションIDを強制的に使わせることを防止できます。
    攻撃者はセッションID付きのリンクをペーストしたり、
    そうしたリンクを含んだメールを送るかもしれません。
    たとえば <code class="literal">http://example.com/page.php?PHPSESSID=123456789</code> のようなものです。
    <a href="session.configuration.php#ini.session.use-trans-sid" class="link">session.use_trans_sid</a> が有効な場合、
    ユーザーは攻撃者が提供したセッションIDを使ってセッションを開始してしまいます。
    <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a> は、
    こうしたリスクを軽減します。
   </p>

   <div class="warning"><strong class="warning">警告</strong>
    <p class="simpara">
     ユーザー定義の保存ハンドラも、セッションIDの検証を行うことで
     厳格なセッションモードをサポートできます。
     保存ハンドラを定義した全てのユーザーは、セッションIDの検証を実装すべきです。
    </p>
   </div>

   <p class="para">
    セッションIDクッキーは、domain, path, httponly, secure, そして
    PHP 7.3 以降では、SameSite 属性とともに設定できます。
    これは、ブラウザで定義されたものが優先します。
    この優先される仕組みを使い、攻撃者は永久に使えるセッションIDを設定できてしまいます。
    <a href="session.configuration.php#ini.session.use-only-cookies" class="link">session.use_only_cookies</a>
    はこの問題を解決できません。
    <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a>
    を使うとこのリスクを軽減できます。
    <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a>=On にすると、
    初期化されていないセッションIDは拒否されます。
   </p>

   <blockquote class="note"><p><strong class="note">注意</strong>: 
    <span class="simpara">
     <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a>
     はアダプション可能なセッション管理機構のリスクを軽減しますが、
     攻撃者は自らが生成したセッションIDを、
     初期化済みセッションIDとして使わせることが出来てしまいます。
     たとえば JavaScriptインジェクション攻撃です。
     この攻撃はこのマニュアルで推奨する方法で軽減できます。
    </span>

    <span class="simpara">
     このマニュアルに従い、開発者は
     <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a>
     を有効にし、タイムスタンプベースのセッション管理を行い、
     推奨する手続きを使って <span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> を使い
     セッションIDの再生成を行うべきです。
     開発者が上記全てに従えば、攻撃者が生成したセッションIDは、結局は削除されます。
    </span>

    <span class="simpara">
     有効期限が切れたセッションにアクセスされたときのために、
     開発者は全てのアクティブなユーザーのセッションデータを保存すべきです。
     この情報は後に行われる調査とも関係があります。
     ユーザーは全てのセッションから強制的にログアウトさせられるべきです。
     つまり、再認証させるべきです。
     こうすることで、攻撃者が盗まれたセッションを悪用することを防止できます。
    </span>
   </p></blockquote>

   <div class="warning"><strong class="warning">警告</strong>
    <p class="simpara">
     有効期限が切れたセッションにアクセスすることが、
     必ずしも攻撃であることを示しているとは限りません。
     不安定なネットワークや、 
     アクティブなセッションをすぐに削除してしまったりすることが原因で、
     正当なユーザーが、有効期限が切れたセッションにアクセスすることがあるからです。
    </p>
   </div>

   <p class="para">
    PHP 7.1.0 以降、<span class="function"><a href="function.session-create-id.php" class="function">session_create_id()</a></span> が追加されました。
    この関数は、セッションIDの前にユーザー定義のIDをつけることで、
    全てのアクティブなユーザーのセッションに効率的にアクセスできます。
    <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a>
    を有効にすることが重要です。有効にしないと、
    悪意のあるユーザーが悪意のあるセッションIDを他のユーザーに設定できてしまいます。
   </p>

   <blockquote class="note"><p><strong class="note">注意</strong>: 
    <span class="simpara">
     PHP 7.1.0 より前のバージョンのユーザーは新しいセッションIDを生成する
     のに <abbr title="Cryptographically Secure PseudoRandom Number Generator">CSPRNG</abbr>、
     つまり <var class="filename">/dev/urandom</var> や <span class="function"><a href="function.random-bytes.php" class="function">random_bytes()</a></span>
     やハッシュ関数を使う<em>べき</em> です。
     <span class="function"><a href="function.session-create-id.php" class="function">session_create_id()</a></span> には衝突を検出する機能があり、
     セッションの INI 設定に従ってセッションIDを生成します。
     <span class="function"><a href="function.session-create-id.php" class="function">session_create_id()</a></span> の利用が好ましいです。
    </span>
   </p></blockquote>

  </div>

  <div class="sect2" id="features.session.security.management.session-id-regeneration">
   <h3 class="title">セッションID の再生成</h3>

   <p class="para">
    <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a>
    は良い軽減策ですが、十分ではありません。開発者はセッションのセキュリティのために
    <span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> を同時に使うべきです。
   </p>

   <p class="para">
    セッションIDを再生成すると、盗まれたセッションIDを使われるリスクが減らせるので、
    <span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> 関数は定期的に呼び出されなければなりません。
    たとえば、セキュリティに敏感な内容を扱っているのなら、
    セッションIDを15分毎に再生成するようにしてください。
    セッションID が盗まれた場合でも、正当なユーザーと攻撃者のセッションは両方時間切れになります。
    言い換えれば、ユーザーだろうと攻撃者のアクセスだろうと、
    期限切れのセッションにアクセスしたとしてエラーになるのです。
   </p>

   <p class="para">
    セッションID はユーザーの権限が上昇したときは再生成されなければ <em>なりません</em>。
    たとえば認証が成功した後などです。
    <span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> は、
    認証情報を <var class="varname"><a href="reserved.variables.session.php" class="classname">$_SESSION</a></var> に設定する前に必ずコールされなければなりません。
    (<span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> は
    タイムスタンプなどを保存するために、現在のセッションにセッションデータを自動的に保存します)
    必ず新しいセッションだけに、認証済みのフラグが含まれるようにしてください。
   </p>

   <p class="para">
    開発者は
    <a href="session.configuration.php#ini.session.gc-maxlifetime" class="link">session.gc_maxlifetime</a>
    によるセッションの期限切れに依存しては <em>いけません</em>。
    攻撃者は、認証済みのセッションも含めて、期限切れを防いで悪用を続けるため、
    ターゲットのセッションIDに定期的にアクセスしている可能性があるからです。
   </p>

   <p class="para">
    そのかわりに、開発者はタイムスタンプベースのセッション管理を実装しなければなりません。
   </p>

   <div class="warning"><strong class="warning">警告</strong>
    <p class="simpara">
     セッションマネージャーはタイムスタンプを透過的に管理できますが、
     この機能はまだ実装されていません。
     古いセッションデータは GC されるまで保持されなければなりません。
     同時に、開発者は期限切れになったセッションデータが削除されることを保証しなければなりません。
     たとえば、<code class="code">session_regenerate_id(true);</code> と
     <span class="function"><a href="function.session-destroy.php" class="function">session_destroy()</a></span> をアクティブなセッションに対して同時に呼んでは絶対にいけません。
     これは矛盾したように聞こえますが、これは必須条件です。
    </p>
   </div>

   <p class="para">
    <span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> は、
    デフォルトで期限切れのセッションを削除 <em>しません</em>。
    期限切れの認証済みのセッションが存在するかもしれません。
    開発者は期限切れのセッションは、誰からも消費されないようにしなければなりません。
    期限切れのセッションデータへのアクセスを、タイムスタンプを使うことで禁止すべきです。
   </p>

   <div class="warning"><strong class="warning">警告</strong>
    <p class="simpara">
     アクティブなセッションを突然削除すると、望まない副作用が起きます。
     Webアプリケーションへの同時接続が起きた かつ/または
     ネットワークが不安定な場合に、セッションが突然消える可能性があります。
    </p>
    <p class="simpara">
     アクティブなセッションが突然消えてしまうと、
     悪意のあるアクセスの可能性を検出することができなくなります。
    </p>
    <p class="simpara">
     期限切れのセッションを突然削除するのではなく、
     開発者は短い期限切れの時間(タイムスタンプ)を <var class="varname"><a href="reserved.variables.session.php" class="classname">$_SESSION</a></var>
     に設定し、セッションデータにアクセスすることを自分で禁止すべきです。
    </p>
    <p class="simpara">
     開発者は <span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> を呼び出した後すぐに、
     古いセッションデータへのアクセスを禁止してはいけません。
     その後の段階で禁止しなければなりません。
     たとえば、有線ネットワークのような安定したネットワークは数秒後、
     無線LAN や携帯電話のような不安定なネットワークの場合は、2, 3分後です。
    </p>
    <p class="simpara">
     ユーザーのアクセスが期限切れのセッションだった場合、
     アクセスを拒否するべきです。攻撃されている可能性があるすべてのユーザーから、
     認証済みのステータスを削除することも推奨します。
    </p>
   </div>

   <p class="para">
    <a href="session.configuration.php#ini.session.use-only-cookies" class="link">session.use_only_cookies</a>
    と <span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> を適切に使うことで、
    攻撃者によって設定された、削除できないクッキーを伴うDOSが発生することがあります。
    この場合、開発者はユーザーに Cookie を削除させ、
    セキュリティ上の問題に晒されていることを教えることができます。
    攻撃者は、脆弱なWebアプリケーションや
    ウイルスに感染したブラウザのプラグイン、
    物理的に侵害されたデバイスなどを経由して悪意のあるCookieを設定している可能性があります。
   </p>

   <div class="warning"><strong class="warning">警告</strong>
    <p class="simpara">
     DOS のリスクを誤解しないでください。
     <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a>=On
     は一般的なセッションIDのセキュリティには必須です!
     全てのサイトが <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a> を有効にすることをお勧めします。
    </p>
    <p class="simpara">
     DOS はアカウントが攻撃されている場合にだけ発生する可能性があります。
     アプリケーションに存在する JavaScript インジェクションの脆弱性がもっともよくある原因です。
    </p>
   </div>

  </div>

  <div class="sect2" id="features.session.security.management.session-data-deletion">
   <h3 class="title">セッションデータを削除する</h3>

   <p class="para">
    期限切れのセッションデータは、アクセス不能にし、削除しなければなりません。
    現状のセッションモジュールはこの機能をうまく扱えません。
   </p>

   <p class="para">
    期限切れのセッションデータは、できるだけ早く削除すべきです。
    しかしながら、アクティブなセッションは、すぐに削除してはいけません。
    これらの要求を満たすためには、
    開発者はタイムスタンプベースのセッション管理を自分自身で実装する必要があります。
   </p>

   <p class="para">
    期限切れのタイムスタンプを $_SESSION に設定し、管理します。
    期限切れのセッションデータへのアクセスは禁止します。
    期限切れのセッションデータへのアクセスが検出された場合、
    そのユーザーのセッションから認証済みのステータスを全て取り除き、
    強制的に再認証させることをおすすめします。
    期限切れのセッションデータへのアクセスは、攻撃されている可能性があります。
    これを実現するために、
    開発者はユーザーごとに全てのアクティブなセッションを追跡しなければなりません。
   </p>

   <blockquote class="note"><p><strong class="note">注意</strong>: 
    <span class="simpara">
     期限切れのセッションへのアクセスは、ネットワークが不安定だったり、
     Webサイトへの同時アクセスも原因で起こりえます。
     たとえば、サーバーは新しいセッションIDを Cookie 経由で設定しようとしたが、
     接続が失われたため Set-Cookie のパケットが
     クライアントに届かなかったりする可能性があります。
     ある接続で、<span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> によって新しいセッションIDが発行されたけれども、
     別の同時接続が、まだ新しいセッションIDを受け取っていない可能性もあります。
     よって、開発者は期限切れのセッションへのアクセスを後の段階で禁止しなければなりません。
     すなわち、タイムスタンプベースのセッション管理が必須なのです。
    </span>
   </p></blockquote>

   <p class="para">
    まとめると、セッションデータは
    <span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> や <span class="function"><a href="function.session-destroy.php" class="function">session_destroy()</a></span>
    を使って破棄してはいけません。
    むしろ、セッションデータへのアクセスを制御するためにタイムスタンプを使わなければなりません。
    <span class="function"><a href="function.session-gc.php" class="function">session_gc()</a></span> 関数に、
    セッションデータストレージから、期限切れのデータを削除させましょう。
   </p>

  </div>

  <div class="sect2" id="features.session.security.management.session-locking">
   <h3 class="title">Session とロック</h3>

   <p class="para">
    セッションデータはレースコンディションを避けるため、デフォルトでロックされます。
    ロックを掛けることは複数のリクエスト間でセッションデータの一貫性を保つため、必須です。
   </p>

   <p class="para">
    しかしながら、セッションをロックしてしまうと、
    攻撃者がDOS攻撃に悪用する可能性があります。
    セッションをロックすることによるDOS攻撃のリスクを軽減するためには、
    ロックを最小限にすることです。
    セッションデータを更新する必要がないときは、読み取り専用のセッションを使うようにします。
    <code class="code">session_start([&#039;read_and_close&#039;=&gt;1]);</code>
    $_SESSION を更新した後は、<span class="function"><a href="function.session-commit.php" class="function">session_commit()</a></span> を使って
    できるだけ早くセッションを閉じるようにします。
   </p>

   <p class="para">
    現状のセッションモジュールは、
    セッションがアクティブでない時に $_SESSION が変更されたかを検知 <em>しません</em>。
    セッションがアクティブでない時に $_SESSION を変更しないことは、開発者の責任です。
   </p>

  </div>

  <div class="sect2" id="features.session.security.management.active-sessions">
   <h3 class="title">アクティブなセッション</h3>

   <p class="para">
    開発者は、ユーザーごとにアクティブなセッションを追跡し続けるべきです。
    そして、アクティブなセッションの数がどれくらいあるかや、
    どのIP(や地域) からかとか、どのくらいの期間アクティブなのか、などです。
    PHP はこれらを追跡しません。開発者が行うことが想定されています。
   </p>

   <p class="para">
    これを実装するやり方はたくさんあります。
    ひとつの可能な実装は、データベースをセットアップして必須のデータを追跡し、
    関連するあらゆる情報を保存することです。
    セッションデータは GC されるので、開発者はアクティブなセッションのデータベースが一貫性を保つように
    GC されたデータに注意を払わなければなりません。
   </p>

   <p class="para">
    一番簡単な実装は、&quot;ユーザーIDをセッションIDの前に付ける&quot; ことで、
    必須の情報を $_SESSION に保存することです。
    多くのデータベースは文字列の prefix を選択するのに良いパフォーマンスを発揮します。
    開発者は <span class="function"><a href="function.session-regenerate-id.php" class="function">session_regenerate_id()</a></span> と
    <span class="function"><a href="function.session-create-id.php" class="function">session_create_id()</a></span> をこの目的で使うこともできます。
   </p>

   <div class="warning"><strong class="warning">警告</strong>
    <p class="simpara">
     秘密のデータを prefix に絶対に使わないでください。
     ユーザーIDが秘密の場合、<span class="function"><a href="function.hash-hmac.php" class="function">hash_hmac()</a></span> を使うことも検討しましょう。
    </p>
   </div>

   <div class="warning"><strong class="warning">警告</strong>
    <p class="simpara">
     <a href="session.configuration.php#ini.session.use-strict-mode" class="link">session.use_strict_mode</a>
     はこの場合に必須です。必ず有効にするようにしてください。
     そうしなければ、アクティブなセッションデータベースが侵害される可能性があります。
    </p>
   </div>

   <p class="para">
    タイムスタンプベースのセッション管理は、時間切れのセッションへのアクセスを検知するのに必須です。
    時間切れのセッションへのアクセスが検知された場合、
    そのユーザーの全てのアクティブなセッションから認証済みのフラグを削除すべきです。
    こうすることで、攻撃者が盗んだセッションを悪用し続けることを防げます。
   </p>

  </div>

  <div class="sect2" id="features.session.security.management.session-and-autologin">
   <h3 class="title">Session と自動ログイン</h3>

   <p class="para">
    開発者は有効期間が長いセッションを、自動ログインに使ってはいけません。
    なぜなら、セッションが盗まれるリスクが増えるからです。
    自動ログイン機能は、開発者が実装すべきです。
   </p>

   <p class="para">
    <span class="function"><a href="function.setcookie.php" class="function">setcookie()</a></span> を使い、
    セキュアなワンタイムハッシュを自動ログインのキーとして使います。
    SHA-2 より強いセキュアなハッシュを使います。
    たとえば、 <span class="function"><a href="function.random-bytes.php" class="function">random_bytes()</a></span> や <var class="filename">/dev/urandom</var> で生成したランダムデータを 
    SHA-256 またはそれより強いハッシュ関数と一緒に使います。
   </p>

   <p class="para">
    ユーザーが認証されていなかったら、ワンタイムの自動ログインキーが有効かどうかをチェックします。
    もし、キーが正しければ、ユーザーを認証し、新しいセキュアなワンタイムハッシュキーを設定します。
    自動ログインキーを使うのは一度きりです。つまり、再利用してはいけません。
    常に新しいものを生成するようにします。
   </p>

   <p class="para">
    自動ログインのキーが長期間有効な認証キーである場合、
    できるだけ手厚く保護すべきです。
    path/httponly/secure/SameSite クッキー属性をセキュアにするために使います。
    つまり、自動ログインキーを必要ないのに送信しないでください。
   </p>

   <p class="para">
    開発者は自動ログインを無効にする機能や、
    不要な自動ログインのキーを削除する機能を実装しなければなりません。
   </p>

  </div>

  <div class="sect2" id="features.session.security.management.csrf">
   <h3 class="title">CSRF (Cross-Site Request Forgeries) 攻撃</h3>

   <p class="para">
    セッションと認証は、CSRF 攻撃を防ぐことはありません。
    開発者は CSRF への防御を自分で実装しなければなりません。
   </p>

   <p class="para">
    CSRF 攻撃を防ぐために、
    <span class="function"><a href="function.output-add-rewrite-var.php" class="function">output_add_rewrite_var()</a></span> 関数が使えます。
    詳細はマニュアルページを参照ください。
   </p>

   <blockquote class="note"><p><strong class="note">注意</strong>: 
    <span class="simpara">
     PHP 7.2.0 より前のバージョンでは、この関数は trans sid と同じ出力バッファとINI 設定を使っていました。
     よって、PHP 7.2.0 より前のバージョンで
     <span class="function"><a href="function.output-add-rewrite-var.php" class="function">output_add_rewrite_var()</a></span> を使うことはおすすめしません。
    </span>
   </p></blockquote>

   <p class="para">
    ほとんどの Webアプリケーションフレームワークは、CSRF から防御する機能をサポートしています。
    詳細は、Webアプリケーションフレームワークのマニュアルを参照ください。
   </p>

   <p class="para">
    PHP 7.3 以降では、セッションクッキーにSameSite 属性が設定できます。
    この属性も、CSRF 脆弱性を軽減できる追加の対策になります。
   </p>
  </div>
 </div><?php manual_footer($setup); ?>