Git-Mirrors/qubes-doc
1
0
Fork 0
mirror of https://github.com/QubesOS/qubes-doc.git synced 2024-12-30 09:46:28 -05:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/pr/411' into https

Browse Source 
* origin/pr/411:
  Update user-faq.md
This commit is contained in:
Marek Marczykowski-Górecki 2017-05-06 23:38:04 +02:00
commit 2aa4781144
No known key found for this signature in database
GPG Key ID: F32894BE9684938A
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basics_user/user-faq.md
View File

@ -78,7 +78,7 @@ It has its own VM management infrastructure, with support for template VMs, cent
### How is Qubes different from other security solutions? ### How is Qubes different from other security solutions?
Please see [this article](http://theinvisiblethings.blogspot.com/2012/09/how-is-qubes-os-different-from.html) for a thorough discussion. Please see [this article](https://blog.invisiblethings.org/2012/09/12/how-is-qubes-os-different-from.html) for a thorough discussion.
### Does Qubes use full disk encryption (FDE)? ### Does Qubes use full disk encryption (FDE)?
@ -93,7 +93,7 @@ To build security on the “Security by Compartmentalization (or Isolation)” p
### What about other approaches to security? ### What about other approaches to security?
The other two popular [approaches](http://theinvisiblethings.blogspot.com/2008/09/three-approaches-to-computer-security.html) are “Security by Correctness” and “Security by Obscurity.” The other two popular [approaches](https://blog.invisiblethings.org/2008/09/02/three-approaches-to-computer-security.html) are “Security by Correctness” and “Security by Obscurity.”
We don't believe either of these approaches are capable of providing reasonable security today, nor do we believe that they will be capable of doing so in the foreseeable future. We don't believe either of these approaches are capable of providing reasonable security today, nor do we believe that they will be capable of doing so in the foreseeable future.
### What about safe languages and formally verified microkernels? ### What about safe languages and formally verified microkernels?