Exedra Gate
詳しく見る ⌄
EnglishDeutschالعربية简体中文FrançaisEspañolItalianoPortuguês日本語한국어
無料相談 ↗
本文へ移動
技術

記録をどう検証できるか。

このページを読まなくても利用できます。 サイトの他のページでは記録の働きを平易に説明しています。このページでは仕組みの名称を示し、セキュリティページで管理策を説明します。

実際のシステムで手順を見る 管理策を詳しく見る
$ openssl ts -verify -in deal_8821.tsr -data evidence_pack.zip
検証結果: OK

実際の証拠パックで行うタイムスタンプ検証。見せられた画面を信じるのではなく、審査担当者が自分で実行できます。

審査担当者が自分で確認できる記録を。審査担当者は出力を受け取り、含まれるファイルを確認し、保護された内容を検証します。検証ツールはその作業を支えます。APIとMCPのページでは、許可された業務記録を接続する別の用途を説明します。
証拠を第一に
e4b1f2…⟶9c07ad…⟶53fe21… ✓ 独立したタイムスタンプ✓ 署名済み

審査担当者自身の端末で記録を確認できます。

証拠パックは、審査担当者自身の端末で無料の標準ツールを使って確認できます。監査人や裁判所が記録に求める整合性、出所、時刻について、検証で確認できる範囲を限定して示します。文書に変更がなく、示された出所から作られ、独立した機関のタイムスタンプが示す時点には存在していたことです。特定の法的基準を満たすかどうかは法律専門家の判断です。整合性と時刻の確認に当社の言葉や許可は必要ありません。

  • 順序をつないだ記録。後から変更、挿入、並べ替えがあれば、記録の照合で検出できます。
  • 独立した時刻の証明。当社とは独立した時刻源が いつ存在したかを示します。RFC 3161形式なので標準ツールで検証できます。タイムスタンプが必須の場合、有効なタイムスタンプがなければ証拠パックを作成しません。証明できない記録を出さない設計です。
  • 作成元で署名。誰が作成したかと内容に変更がないかを、取引終了から何年たってもオフラインで確認できます。
操作から審査担当者まで、一つの記録でつなぐ

操作の発生時にExedra Gateが記録し、その指紋を作ります。各項目には直前の項目の指紋が含まれるため、変更、挿入、並べ替えがあればチェーンが一致しなくなります。パックの内容はマニフェストに列挙され、作成元で署名されます。続いて当社とは独立した機関がRFC 3161形式でタイムスタンプを付与し、存在した時刻を示します。パックの確定時にタイムスタンプが必須で、有効なものを取得できなければ証拠パックを作成しません。後年、審査担当者は無料の標準ツールで7項目をオフライン検証できます。ハッシュチェーンは改ざんを検出しますが、防止はしません。

ここに示す三つの指紋は、この節の冒頭に表示したものと同じです。別の例ではなく、一つの記録を示しています。最後の行が示すのは、文書に変更がなく、その時点には存在したという限定的で検証可能な事実です。ハッシュチェーンは改ざんを検出できるもので、改ざんを防ぐものとは説明しません。
検証ツールの名前

exedragate-verify

「オフラインで検証できる」と述べるなら、そのためのツールも示すべきです。名前があります。 exedragate-verify は単独で動くコマンドライン検証ツールです。出力されたパックについて、ハッシュチェーンの再計算、作成元の署名、独立したタイムスタンプ、パック内部の整合性、生成イベント、各操作の帰属、PDFとマニフェストの照合という7項目を確認します。ネットワーク接続はせず、タイムスタンプ認証局の信頼の起点を内包しています。お客様にも、その記録を調べる人にも、依頼に応じて提供します。標準のOpenSSLでもタイムスタンプを検証できるため、当社のツールだけに依存しません。

仕組みの詳細を見る → セキュリティ

チェーンの実際の働き

各項目には直前の項目の指紋が含まれます。変更、挿入、並べ替えがあればチェーンが一致しなくなります。項目1で操作を記録し、指紋はe4b1f2。項目2には直前の指紋と自身の指紋9c07adが含まれ、項目3には直前の指紋と自身の指紋53fe21が含まれます。その後、独立した機関のタイムスタンプを付与し、作成元で署名します。審査担当者は、変更がないことと、その時点に存在したことをオフラインで確認できます。ハッシュチェーンは改ざんを検出しますが、防止しません。

途中の項目を変更、挿入、並べ替えすると指紋が一致しなくなり、記録から検出できます。これは防止ではなく検出です。ハッシュチェーンを改ざん不可能とは説明しません。

Beyond memory.

セキュリティの仕組み

形容詞ではなく、仕組みの名前を示します。

テナント分離 テナント単位のすべてのテーブルにPostgresの行レベルセキュリティを適用。分離はアプリケーションではなくデータベースで強制します。
強固な認証 サインインにはパスワードに加え、認証アプリを入れた端末が必要です。モバイルでの署名には端末に紐付いたパスキーを提供しています。SMSやメールのワンタイムコードは使いません。これらの手段は規制当局が段階的に廃止を進めている地域もあります。
証拠を作れないときは処理を止める タイムスタンプが必須の場合、有効なタイムスタンプがなければ証拠パックを作成しません。証明できない記録は出さない設計です。
データ保護 GDPR、スイスの改正FADP、その他の地域の制度に基づく義務を支えられるよう設計しています。スクリーニング結果に名前が載った本人の訂正権も対象です。
オフラインで検証可能 Exedra Gateのサーバーに依存せず、標準ツールで証拠パックを検証できます。
記録に含まれるもの、含まれないもの 文書、署名、文書へのアクセスは証拠記録に含まれます。当事者間のメッセージは含まれず、当社は証拠として説明しません。
データの保存地域 現在は地域内のマネージドクラウドで提供しています。法域内やソブリンクラウドへの配備は、個別に範囲を定めた導入案件として提供します。

これらの仕組みの根拠となる公開文書。

各項目には、上記の仕組みが踏まえる文書とその発行機関を示します。制度名を挙げるのは公開要件を踏まえて設計したという意味であり、Exedra Gateが当局から免許、監督、推奨を受けているという意味ではありません。

  • EU / スイス GDPRとスイスの改正FADP データベースで強制するテナント分離、定義された保持期間、記録を訂正するための文書化された手順。 規則（EU）2016/679、スイス連邦データ保護法（SR 235.1）
  • EU eIDASの高度電子署名基準（第26条） 署名者と文書の双方に固有に結び付き、後からの変更を検出できる署名です。高度電子署名であり、適格電子署名ではありません。 規則（EU）No 910/2014、第26条
  • IETF RFC 3161によるタイムスタンプ 記録の時刻は当社ではなく独立した機関に由来します。文書がいつ存在したかを示す、提出可能な証拠となります。 タイムスタンププロトコル（TSP）、RFC 3161
  • IRTF / NIST Ed25519とSHA-256 公開されたアルゴリズムなので、当社を信頼していない人でも一般的なツールで証拠パックを確認できます。 エドワーズ曲線デジタル署名アルゴリズム（EdDSA）、RFC 8032。セキュアハッシュ標準（SHS）、FIPS 180-4
  • W3C WCAG 2.1 AA axeを使い、ページごとに監査します。公共部門や機関の調達審査で求められる種類の確認です。 ウェブコンテンツ・アクセシビリティ・ガイドライン 2.1、レベルAA

制度名を挙げる意味 →

用語の定義。
上記で使った用語は、 セキュリティページで一つずつ説明しています。コンプライアンス担当者が確認する管理策と、審査担当者が独立して実行できる検証コマンドも掲載しています。