これは、セキュリティに特化して設計されたオペレーティングシステムの一覧です。同様の概念としては、監査機関による認証を取得したセキュリティ評価済みのオペレーティングシステムや、特定の要件を満たすための多層セキュリティと正確性の証明を十分にサポートする信頼できるオペレーティングシステムなどがあります。
リナックス
Androidベース
- GrapheneOS は強化されたカーネル、C ライブラリ、カスタム メモリ アロケータ (
hardened_malloc) を使用し、Duress PIN/パスワードなどのプライバシー/セキュリティ機能や、悪用を回避するためにドライバー/ハードウェア レベルで USB-C ポートを無効にする機能を提供します。
Debianベース
- Tailsはプライバシーと匿名性を維持することを目的としています。[ 1 ]
- Whonixは2つの仮想マシンで構成されており、すべての通信はTorを介してルーティングされます。[ 2 ] [ 3 ] [ 4 ]
- Linux Kodachiはセキュリティを重視したオペレーティングシステムです。[ 5 ]
- Qubes_OS。区画化によるセキュリティの提供を目的とした、セキュリティ重視のデスクトップオペレーティングシステム。
その他のLinuxディストリビューション
- Alpine Linuxは、小型でシンプル、そして安全になるよう設計されています。[ 6 ] Alpine Linuxは、より一般的に使用されているglibc、GNU Core Utilities、systemdの代わりに、 musl、BusyBox、OpenRCを使用しています。[ 7 ]
- Owl - Openwall GNU/Linux、サーバー向けのセキュリティが強化された Linux ディストリビューション。
- Secureblue は、GrapheneOS と同じ強化された malloc を使用するFedora Silverblueベースのディストリビューションです。
BSD
ゼン
- Qubes OSは、分離によってセキュリティを提供することを目的としています。[ 9 ]分離は仮想化技術の使用によって実現されます。これにより、アプリケーションを安全な仮想マシンに分割することが可能になります。
参照
参考文献
- ^ Vervloesem, Koen (2011年4月27日). 「Amnesic Incognito Live System: A live CD for anonymity [LWN.net]」 . lwn.net . 2017年8月21日時点のオリジナルよりアーカイブ。 2017年6月14日閲覧。
- ^ 「開発者が『漏洩防止』なTor追跡不可能プラットフォームを開発」 The Register、2012年11月13日。 2014年7月10日閲覧。
- ^ Greenburg, Andy (2014年6月17日). 「オンラインで行うすべてのことを匿名化する方法」 . Wired . 2014年7月10日閲覧。
- ^ 「Whonixはビジネスタスクに匿名性レイヤーを追加します」 TechRepublic、2013年1月4日。 2014年7月10日閲覧。
- ^ Choudhury, Ambika (2019年6月4日). 「高度なプライバシーとセキュリティを実現する最も安全なLinuxディストリビューション10選」 . AIM . 2024年11月1日閲覧。
- ^ 「Alpine Linuxについて」alpinelinux.org .
- ^ GigaTux (2010年8月24日) 曰く、「Alpine Linux 2 レビュー | LinuxBSDos.com」。
- ^ OpenBSDプロジェクト (2020年5月19日). 「OpenBSD」 . OpenBSD.org . 2020年10月12日閲覧。
- ^ 「Qubes OSは強力なシステムレベルのセキュリティを内蔵」 The Register、2012年9月5日。