![](/statics/img/blank.png)
ProVerif Editor 0.2
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/proverifeditor/files/ProVerif%20Editor/0.2/proverif_editor_0.2.tgz/download
Sobre ProVerif Editor
Um editor para editar e verificar protocolos especificados no cálculo SPI usando ProVerif.
Programas Relacionados
-
Child Computer Time Out Julgamento Gratuito
Se está preocupado que o seu filho possa estar a passar demasiado tempo online ou a jogar jogos -- ou não quer que ele use o seu PC quando está a dormir ou fora de casa -- este tipo de software oferece uma solução. Permite-lh
-
Cloud Online Backup Julgamento Gratuito
Cloudonlinebackup é a solução rápida e segura para backup on-line. Mantém todas as transferências seguras e encriptadas, corre em segundo plano e garante que a perda de dados não é perigo. As versões anteriores dos ficheiros
-
Hackademic Challenges Grátis
O Hackademic Challenges é um projeto de código aberto que o ajuda a testar os seus conhecimentos sobre a segurança das aplicações web. Você pode usá-lo para realmente atacar aplicações web em um ambiente realista, mas também
-
Internet History Washer Julgamento Gratuito
A maneira fácil de limpar os vestígios de navegação na InternetNinguém vai descobrir:- Que sites visitou - O que procurou - As suas palavras-passe - E identificá-lo como um visitante repetidoPara garantir isso,
-
Fast Windows Hider Julgamento Gratuito
Fast Windows Hider é uma ferramenta protetora projetada para ajudá-lo a esconder quaisquer janelas (aplicações) em um momento. Basta premir o hotkey ou clicar no ícone. Pode ocultar o Internet Explorer ou outro navegador de I
-
Openwall wordlists collection Julgamento Gratuito
Uma extensa coleção de wordlists destinados a ser usados com utilitários de recuperação de passwords. Incluídos nesta coleção estão listas de palavras-texto para mais de 20 línguas humanas e listas de senhas comuns. As língua
-
OneNote Password Recovery Julgamento Gratuito
OneNote Password Recovery é um programa para recuperar senhas perdidas ou esquecidas para os portátils do Microsoft OneNote. As palavras-passe multilingues são suportadas. Todas as versões do Microsoft OneNote são suportadas.
-
One Click Privacy Julgamento Gratuito
Um Click Privacy apaga permanentemente toda a atividade da Internet, palavras-passe em cache e informações de cartão de crédito, registos IM, registos de jogadores de media, consultas de motor de busca e utilização de aplicaç
-
RC4.NET Grátis
RC4.NET é uma biblioteca que adiciona suporte para encriptar/desencriptar usando o algoritmo RC4 simétrico no ambiente .NET. A biblioteca está escrita em idioma C# e tem um desempenho igualmente bom tanto na plataforma Micros
-
Secure File Encryption Program Grátis
Encriptação de ficheiros Open Source, escrita para aprender sobre criptograpy, programação, etc. E espero que inventem novas técnicas de encriptação que possam beneficiar o público.