wiki/src/blueprint/download_extension.mdwn

   1 [[!meta title="Firefox extension for downloading Tails"]]
   2
   3 We are planning to create a custom Firefox add-on to download and verify Tails
   4 using SHA-256 checksum.
   5
   6 Objectives
   7 ==========
   8
   9   - To fix the ISO verification method using Windows. It has been broken since
  10     Firefox 20.
  11   - To simplify the installation process by automating some ISO verification
  12     during the download process.
  13
  14 This would fix the main stumbling block for Tails verification (and thus
  15 installation) for the vast majority of users.
  16
  17 Security considerations
  18 =======================
  19
  20   - People are downloading their ISO image from one of our mirrors. Those
  21     mirrors are run by volunteers and the content of what they serve is not
  22     authenticated.
  23   - On the other hand, the information served on tails.boum.org is
  24     authenticated through HTTPS.
  25   - Downloading Firefox and installing add-ons is also done through HTTPS on
  26     mozilla.org.
  27   - Forcing Firefox users who are downloading the ISO image through HTTP to
  28     verify its checksum can only increase the average level of verification
  29     that people do on Windows and Mac OS systems.
  30   - But HTTPS does not provide strong authentication. So our documentation
  31     should make that clear and keep providing instructions for authentication
  32     using OpenPGP but as an additional check.
  33
  34 Scenario
  35 ========
  36
  37 ISO download
  38 ------------
  39
  40   - When the user clicks on the direct download button from the [[download
  41     page|download#index2h1]], Firefox proposes to install the extension.
  42   - The user allows the installation of the extension.
  43   - The extension starts the download and the user decides where to save it.
  44   - The webpage is modified and displays a progress bar of the download.
  45   - The user might or might not close the webpage.
  46   - The download also appears in the usual list of downloads of Firefox.
  47
  48 ISO verification
  49 ----------------
  50
  51   - When the download finishes, the ISO verification starts.
  52   - The extension checks the size of the download to verify that the download
  53     was complete.
  54   - The extension compares the checksum of the ISO image to a checksum found on
  55     the website through HTTPS.
  56   - The extension displays the result to the user:
  57     - If the original webpage is still open, it now either:
  58       - Points the user to the installation documentation.
  59       - Proposes troubleshooting strategies.
  60     - Otherwise it shows the result in a popup message and points to the
  61       appropriate page.
  62
  63 Other desirable features
  64 ========================
  65
  66   - Be able to use that extension, once installed to verify ISO images
  67     downloaded using BitTorrent for example.
  68   - Be able to use that extension to verify other ISO images, testing images,
  69     older ISO images, etc. In that case the user would be warned about the
  70     deprectated or experimental status of the ISO image.
  71   - Be able to use that extension to check the GPG signature. On top of
  72     verifying the checksum, this would provide TOFU authentication. Then, if the
  73     user downloads a genuine app and a genuine key on first use, then she will
  74     be protected from a later compromision of the HTTPS certificate of
  75     tails.boum.org.
  76
  77 Technical insight
  78 =================
  79
  80   - That technique should be multiplatform and work from TBB as well.
  81   - The extension can get the checksum and the URL of the ISO image from the
  82     `<div id="content">` in following static pages:
  83     - <https://tails.boum.org/inc/stable_i386_iso_url/>
  84     - <https://tails.boum.org/inc/stable_i386_hash/>
  85   - The same tricks should be used to get the file size.
  86     See [[!tails_ticket 7417]].