Verify Virtual Machine Images on Linux

From Whonix
Jump to navigation Jump to search

Instructions for OpenPGP and Signify Verification of Whonix ISO, VirtualBox and KVM on the Command Line

Introduction[edit]

  • Digital signatures are a tool enhancing download security. They are commonly used across the internet and nothing special to worry about.
  • Optional, not required: Digital signatures are optional and not mandatory for using Whonix, but an extra security measure for advanced users. If you've never used them before, it might be overwhelming to look into them at this stage. Just ignore them for now.
  • Learn more: Curious? If you are interested in becoming more familiar with advanced computer security concepts, you can learn more about digital signatures here digital software signatures.

OpenPGP

In order to verify the Whonix image, GnuPG must be installed. GnuPG is the common OpenPGP implementation for Linux: it is installed by default in Debian, Ubuntu, Whonix and many other distributions.

1. Choose your platform.

Whonix ISO

2. Import the signing key.

Refer to the more secure, detailed Whonix Signing Key instructions.

Download Whonix OpenPGP Key

3. Download the cryptographic (OpenPGP) signature corresponding to the image you want to verify.

4. Save the signature in the same folder as the image.

ISO image

ISO signature

VirtualBox

Refer to the more secure, detailed Whonix Signing Key instructions.

Download Whonix OpenPGP Key

3. Download the cryptographic (OpenPGP) signature corresponding to the image you want to verify.

4. Save the signature in the same folder as the image.

Select Xfce or CLI version.

KVM

Refer to the more secure, detailed Whonix Signing Key instructions.

Download Whonix OpenPGP Key

3. Download the cryptographic (OpenPGP) signature corresponding to the image you want to verify.

4. Save the signature in the same folder as the image.

Select Xfce or CLI version.

5. Change directory.

cd [the directory in which you downloaded the image and the signature]

6. Start the cryptographic verification.

This process can take several minutes.

Whonix ISO

gpg --verify-options show-notations --verify Whonix-*.iso.asc Whonix-*.iso

VirtualBox

gpg --verify-options show-notations --verify Whonix-*.ova.asc Whonix-*.ova

KVM

gpg --verify-options show-notations --verify Whonix-*.libvirt.xz.asc Whonix-*.libvirt.xz

7. Check the output of the verification step.

If the file is verified successfully, the output will include Good signature, which is the most important thing to check.

Whonix ISO

gpg: Good signature

VirtualBox

gpg: Good signature

KVM

gpg: Good signature

This output might be followed by a warning as follows.

gpg: WARNING: This key is not certified with a trusted signature!
gpg:          There is no indication that the signature belongs to the owner.

This message does not alter the validity of the signature related to the downloaded key. Rather, this warning refers to the level of trust placed in the Whonix signing key and the web of trust. To remove this warning, the Whonix signing key must be personally signed with your own key.

warning Remember to check the GPG signature timestamp. For instance, if you previously saw a signature from 2023 and now see one from 2022, this could indicate a potential rollback (downgrade) or indefinite freeze attack.[1]

Example of signature creation timestamp; see below.

gpg: Signature made Mon 19 Jan 2023 11:45:41 PM CET using RSA key ID ...

warning Remember: OpenPGP signatures sign the contents of files, not the file names themselves. [2]

The file@name OpenPGP notation in Whonix release signatures describes the file name. This helps to confirm that the file name has not been tampered with; see the example below.

Whonix ISO

gpg: Signature notation: file@name=Whonix-17.2.3.7.iso

VirtualBox

gpg: Signature notation: file@name=Whonix-17.2.3.7.ova

KVM

gpg: Signature notation: file@name=Whonix-17.2.3.7.libvirt.xz

If the digital software signature verification failed, the output will inform that the signature is bad:

gpg: BAD signature

Do not continue if verification fails! This risks using infected or erroneous files! The whole point of verification is to confirm file integrity. This page is strongly related to the pages Placing Trust in Whonix and Verifying Software Signatures.

8. Done.

Digital software signature verification using OpenPGP has been completed.

Troubleshooting[edit]

When a GPG error is encountered, first try a web search for the relevant error. The security stackexchange websitearchive.org can also help to resolve GPG problems. Describe the problem thoroughly, but be sure it is GPG-related and not specific to Whonix.

More help resources are available on the Support page.

Signify

Info Advanced users only!

1. Choose your platform.

Whonix ISO Signify

VirtualBox Signify

KVM Signify

3. Install signify-openbsd.

Install package(s) signify-openbsd following these instructions

1 Platform specific notice.

2 Kicksecure logo Update the package lists and upgrade the system Onion Version .

sudo apt update && sudo apt full-upgrade

3 Install the signify-openbsd package(s).

Using apt command line Kicksecure logo --no-install-recommends option Onion Version is in most cases optional.

sudo apt install --no-install-recommends signify-openbsd

4 Platform specific notice.

5 Done.

The procedure of installing package(s) signify-openbsd is complete.

4. Note.

It is impossible to signify sign images (.ova / libvirt.tar.xz) directly.archive.org You can only verify the .sha512sums hash sum file using signify-openbsd and then verify the image against the sha512 sum.

5. Download the .sha512sums and .sha512sums.sig files.

6. Verify the .sha512sums file with signify-openbsd.

signify-openbsd -Vp derivative.pub -m Whonix-*.sha512sums

If the signature is valid, it will output:

Signature Verified

If the signature is invalid, it will output an error.

7. Compare the hash of the image file with the hash in the .sha512sums file.

sha512sum --strict --check Whonix-*.sha512sums

If the hash is correct, it will output:

Whonix-Xfce-17.2.3.7.ova: OK

Do not continue if verification fails! This risks using infected or erroneous files! The whole point of verification is to confirm file integrity. This page is strongly related to the pages Placing Trust in Whonix and Verifying Software Signatures.

8. Done.

Digital signature verification using signify has been completed.

If you are using signify for software signature verification, please consider making a report in the signify-openbsd forum threadarchive.org. This will help developers decide whether to continue supporting this method or deprecate it.

Forum discussion: signify-openbsdarchive.org.

Footnotes[edit]

License[edit]

Whonix Verify the images using Linux wiki page Copyright (C) Amnesia <amnesia at boum dot org>
Whonix Verify the images using Linux wiki page Copyright (C) 2012 - 2024 ENCRYPTED SUPPORT LP <

This program comes with ABSOLUTELY NO WARRANTY; for details see the wiki source code.
This is free software, and you are welcome to redistribute it under certain conditions; see the wiki source code for details.

We believe security software like Whonix needs to remain open source and independent. Would you help sustain and grow the project? Learn more about our 12 year success story and maybe DONATE!