seccomp

seccomp (セキュアコンピューティングの略^[1] ) は、 Linuxカーネルのコンピュータセキュリティ機能です。seccompを使用すると、プロセスは、、、およびすでに開いているファイル記述子以外のシステムコールを実行できない「セキュア」状態に一方向遷移できます。その他のシステムコールを試行すると、カーネルはイベントをログに記録するか、 SIGKILLまたはSIGSYSでプロセスを終了します。^{[2] [3]この意味で、システムのリソース}を仮想化するのではなく、プロセスを完全にリソースから分離します。 exit()sigreturn()read()write()

seccomp モードは、引数prctl(2)を使用するシステムコールPR_SET_SECCOMP、または (Linux カーネル 3.17 ^[4]以降)seccomp(2)システムコールを介して有効になります。^[5] seccomp モードは、以前はファイルに書き込むことによって有効にされていました/proc/self/seccompが、この方法は に取って代わられ、 になりましたprctl()。^[6]一部のカーネルバージョンでは、seccomp は、高精度のタイミングに使用される、電源投入後の経過プロセッササイクル数を返す x86 命令をRDTSC 無効にします。 ^[7]

seccomp-bpfはseccomp ^[8]の拡張機能であり、 Berkeley Packet Filterルールを使用して実装された構成可能なポリシーを使用してシステムコールをフィルタリングできます。これは、 OpenSSH ^[9]とvsftpd、およびChromeOSとLinux上のGoogle Chrome / Chromiumウェブブラウザで使用されています。 ^{[10] （この点で、seccomp-bpfは、} Linuxではサポートされなくなったと思われる古いsystraceと同様の機能を実現しますが、より柔軟性とパフォーマンスが向上しています。）

seccompはOpenBSD pledge(2)やFreeBSD capsicum (4)に匹敵すると考える人もいます^[要出典]。

seccompは、2005年1月にアンドレア・アルカンジェリによって公共グリッドコンピューティングでの使用のために考案され、もともとは信頼できない計算依存プログラムを安全に実行するための手段として意図されていました。2005年3月8日にリリースされたカーネルバージョン2.6.12でLinuxカーネルメインラインに統合されました。^[11]

• AndroidはAndroid 8.0 Oreo以降、zygoteでseccomp-bpfフィルターを使用しています。 ^[12]
• systemdのサンドボックスオプションはseccompに基づいています。^[13]
• 現代の仮想化の中核コンポーネントであるクイックエミュレーターであるQEMUは、 KVMとともにパラメータseccompを使用しています--sandbox^[14]
• Docker – 分離されたコンテナ内でアプリケーションを実行できるようにするソフトウェア。Docker は、パラメータを使用して seccomp プロファイルをコンテナに関連付けることができます--security-opt。
• Arcangeli の CPUShare はしばらくの間、seccomp の唯一のユーザーとして知られていました。^[15] Linus Torvalds は2009 年 2 月の投稿で、seccomp が実際に使用されているかどうか疑問を表明しています。^[16]しかし、Google のエンジニアは、Google がChromeウェブブラウザのサンドボックス化に seccomp の使用を検討していると回答しました。^{[17] [18]}
• Firejailは、 Linux名前空間、Seccomp、その他のカーネルレベルのセキュリティ機能を利用してLinuxおよびWineアプリケーションをサンドボックス化するオープンソースのLinuxサンドボックスプログラムです。 ^[19]
• Chromeバージョン20以降では、seccomp-bpfがAdobe Flash Playerのサンドボックス化に使用されています。^[20]
• Chromeバージョン23以降では、レンダラーをサンドボックス化するためにseccomp-bpfが使用されています。^[21]
• Snapは、 snapdがseccomp、 AppArmor、その他のセキュリティ構造に変換する「インターフェース」を使用して、アプリケーションサンドボックスの形状を指定します^[22]
• vsftpdはバージョン3.0.0以降ではseccomp-bpfサンドボックスを使用しています。^[23]
• OpenSSHはバージョン6.0以降seccomp-bpfをサポートしています。^[9]
• Mboxはptraceとseccomp-bpfを併用して、ptrace単独よりもオーバーヘッドの少ない安全なサンドボックスを作成します。^[24]
• LXD、コンテナ用のUbuntu「ハイパーバイザー」 ^{[25] [26]}
• FirefoxとFirefox OSはseccomp-bpfを使用しています^{[27] [28]}
• Torは0.2.5.1-alphaからseccompをサポートしています^[29]
• Dropboxが開発したJPEG圧縮ツールLeptonはseccompを使用している^[30]
• Kafelは、読み取り可能なポリシーをseccompb-bpfバイトコードに変換する設定言語です^[31]
• サブグラフOSはseccomp-bpfを使用する^{[32] [33]}
• Flatpakはプロセス分離にseccompを使用する^[34]
• BubblewrapはFlatpakから開発された軽量サンドボックスアプリケーションです^[35]
• minijail ^[36]はプロセス分離にseccompを使用する^[37]
• SydBoxはseccomp-bpf ^[38]を使用して、Exherbo Linuxディストリビューション上のパッケージビルドをサンドボックス化するために使用されるptraceサンドボックスの実行時間とセキュリティを向上させます。
• ファイルタイプを判別するUnixプログラムであるFileは、実行環境を制限するためにseccompを使用している^[39]
• Zathuraは、最小限のドキュメントビューアであり、seccompフィルターを使用してさまざまなサンドボックスモードを実装しています^[40]
• GNOMEデスクトップ環境のインデックス作成およびプレビューアプリケーションであるTrackerは、メディアファイルの解析脆弱性の自動的な悪用を防ぐためにseccompを使用しています^[41]

• 公式サイト（アーカイブ）
• Google の Chromium サンドボックス、LWN.net、2009 年 8 月、Jake Edge 著
• seccomp-nurse、seccomp に基づくサンドボックス フレームワーク
• Documentation/prctl/seccomp_filter.txt、 Linux カーネルドキュメントの一部
• Linux ソフトウェアのセキュリティの詳細: セキュリティ バグの防止と軽減