Bardin Gate ART
コンテンツの確認とエージェント自身のセキュリティ
配送の前に、主張から証拠へ
ART は、ファイルが言われたとおりのものだとは決して受け入れません。エージェントからのすべての主張、すべてのファイル、すべてのメタデータを敵対的なものとして扱います。主張にできるのは、明らかに禁止されたものを早めに拒否することだけです。最終的な判定は常に、アプライアンスが保存したバイトに基づき、名前の付いた証拠と名前の付いたバージョンとともに下されます。
完全性
保存したファイルについて SHA-256 を再計算します。
観測した事実
サイズ、種類、アーカイブと文書の構造を一度だけ読み、すべての検査で共有します。
申告と観測の照合
食い違いはそれ自体が証拠であり、主張が観測を覆すことはありません。
検証
名前、種類、アーカイブ、PDF と Office の文書、そして JSON、XML、CSV などの構造化データのためのルール。
検査
ClamAV と YARA を、それぞれ隔離されたプロセスで実行します。
ポリシー
判断するのはポリシーだけです。許可、却下、隔離、または承認へ。
ルールとエンジンは証拠を集めるだけです。判断するのはポリシーだけで、転送の状態を変えるのは転送自身の決まった手順だけです。そのため、スキャナーも、ファイルを開くプログラムも、インターフェースも、単独でファイルを安全と宣言することはできません。
未知のものがあれば転送を止める
| 状況 | 振る舞い |
|---|---|
| エンジンが利用できない、クラッシュした、タイムアウトした、不正な形式で応答した | 判定不能。転送は先に進まない |
| 必須の証拠がない、またはそのバージョンが不明 | 拒否。黙って通すことはない |
| アーカイブまたはリソースの上限を超えた | 拒否。安全でない展開は行わない |
| 確実な悪性の検出 | 隔離。より弱いツールで再試行することはない |
送信者には結果と参照コードが届きます。そのコードで証拠を調べられるのは、コンソール上の権限のあるロールだけです。そのため、回答が攻撃者に何が通るかを教えることはありません。
エージェントはそれ自体が境界
| 領域 | 保護の方法 |
|---|---|
| 鍵と ID | エージェントの鍵はそのコンピューター上で作られ、利用できる場合はシステムの安全な保管領域に保存されます。登録には証明書の要求と管理者の明示的な承認が必要で、エージェントをインストールしただけでは承認されません。 |
| ローカルコピー | 利用者ごとのコピーは、システムの安全な保管領域が持つ鍵で暗号化され、同じコンピューターの他の利用者から隔離されます。 |
| 通信路 | 双方に ID を持つ TLS 1.3。エージェントのホストはそれぞれ失効可能な証明書を持ち、ホスト名や IP アドレスが ID になることはありません。 |
| ファイル | 通常のファイルのみを扱い、リンクはたどりません。送信元とスプールでハッシュを計算し、固定のフォルダーに一度に公開して読み戻します。 |