Categorias

o-android-13-tem-codinome-interno-vazado-a-aposta-agora-e-a-sobremesa-tiramisu

Android

Games

Notícias

Tutoriais Linux

Vídeos

Tutoriais Linux

22/02/2021 às 18:00

6 min leitura

Avatar Autor
Por Jardeson Márcio

Como instalar o Verifpal, um software de segurança, no Ubuntu, Linux Mint, Fedora, Debian

como-instalar-o-verifpal-um-software-de-seguranca-no-ubuntu-linux-mint-fedora-debian

Verifpal é um novo software para verificar a segurança de protocolos criptográficos. O o principal objetivo do Verifpal é atrair mais os profissionais, estudantes e engenheiros do mundo real, sem sacrificar recursos abrangentes de verificação formal. Saiba como instalar o Verifpal no Linux.

O Verifpal apresenta uma nova linguagem intuitiva para modelagem de protocolos que é muito mais fácil de escrever e entender do que as linguagens empregadas pelas ferramentas existentes. Ao mesmo tempo, ele é capaz de modelar protocolos sob um invasor ativo com sessões ilimitadas e novos valores, e oferece suporte a consultas de propriedades de segurança avançadas, como sigilo de encaminhamento ou representação de comprometimento de chave.

O Verifpal já foi usado para verificar as propriedades de segurança do Signal, Scuttlebutt, TLS 1.3, Telegram e outros protocolos. É um projeto focado na comunidade e disponível sob uma licença GPLv3.

Entre suas características principais, estão: Uma linguagem de modelagem intuitiva de protocolo; Modelagem que evita erros do usuário; Resultado de análise fácil de entender; Software Amigável e Integrado.

O Verifpal vem com uma extensão do Visual Studio Code que oferece destaque de sintaxe. Instale-o agora mesmo em seu Linus, de forma muito simples. Basta seguir o tutorial a seguir e fazer a instalação.

como-instalar-o-verifpal-um-software-de-seguranca-no-ubuntu-linux-mint-fedora-debian

Instalando o Verifpal no Ubuntu, Kubuntu, Xubuntu e derivados!

Para instalar o Verifpal no Ubuntu Linux. Inclusive você também pode instalar o Verifpal no Linux Mint sem nenhum problema execute o comando abaixo:

sudo snap install verifpal

Instalando o Verifpal no Fedora e derivados!

Para instalar o Verifpal no Fedora, execute os comandos abaixo. Lembrando que caso você já tenha o suporte ao Snap habilitado no Fedora, pule para o passo 3, o de instalação do pacote:

Passo 1 – Instalar o Snapd:

sudo dnf install snapd

Após executar o comando acima, lembre-se encerrar a sessão ou reiniciar o computador! Em seguida, vamos criar um link simbólico para ativar o suporte ao Snap clássico:

Passo 2 – Criar link simbólico:

sudo ln -s /var/lib/snapd/snap /snap

E agora, vamos executar o comando para instalar o Verifpal no Fedora ou derivados:

Passo 3 – Agora vamos executar o comando para instalar o Verifpal no Fedora ou derivados:

sudo snap install verifpal

Instalando o Verifpal no Debian e derivados!

Para instalar o Verifpal no Debian, execute os comandos abaixo. Caso você já tenha  Snap ativado e habilitado no seu Debian, pule para o passo 2, que seria da instalação:

Passo 1 – Atualizar os repositório e instalar o Snapd:

apt update
apt install snapd

E agora, vamos executar o comando para instalar o Verifpal no Debian ou derivados. Observe que o comando abaixo está com o sudo, caso você não o tenha habilitado, remova o sudo e instalar usando o ROOT mesmo:

Passo 2 – Agora vamos executar o comando para instalar o Verifpal no Debian e derivados:

sudo snap install verifpal

É isso, esperamos ter ajudado você a instalar o Verifpal no Linux!

Jardeson é Mestre em Tecnologia Agroalimentar e Licenciado em Ciências Agrária pela Universidade Federal da Paraíba. Entusiasta no mundo tecnológico, gosta de arquitetura e design gráfico. Economia, tecnologia e atualidade são focos de suas leituras diárias. Acredita que seu dia pode ser salvo por um vídeo engraçado.

Últimos artigos

Newsletter

Receba nossas atualizações!

Newsletter

Receba nossas atualizações!
  • Este campo é para fins de validação e não deve ser alterado.