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.
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:
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:
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:
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:
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:
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:
É isso, esperamos ter ajudado você a instalar o Verifpal no Linux!
