![](/statics/img/blank.png)
ProVerif Editor 0.2
Je het binnen 5 seconden downloaden.
U ook op de volgende externe downloadkoppeling klikken om te beginnen met downloaden:
http://sourceforge.net/projects/proverifeditor/files/ProVerif%20Editor/0.2/proverif_editor_0.2.tgz/download
Over ProVerif Editor
Een editor om protocollen te bewerken en te controleren die zijn opgegeven in SPI-calculus met ProVerif.
Gerelateerde programma's
-
Child Computer Time Out Gratis proefperiode
Als u zich zorgen maakt dat uw kind te veel tijd online doorbrengt of games speelt - of als u niet wilt dat hij/zij uw pc gebruikt wanneer u slaapt of weg bent van huis - biedt dit type software een oplossing. Hiermee u limie
-
Cloud Online Backup Gratis proefperiode
Cloudonlinebackup is de snelle eenvoudige en veilige oplossing voor online back-up. Het houdt alle overdrachten veilig en versleuteld, draait op de achtergrond en zorgt ervoor dat gegevensverlies geen gevaar is. Eerdere versi
-
Hackademic Challenges Gratis
De Hackademic Challenges is een open source project dat u helpt uw kennis op het gebied van webapplicatiebeveiliging te testen. U het gebruiken om daadwerkelijk aanval webapplicaties in een realistische, maar ook controleerba
-
Internet History Washer Gratis proefperiode
De gemakkelijke manier om surfsporen op internet te wissenNiemand zal er ooit achter komen:- Welke sites je hebt bezocht - Waar je naar zocht - Uw wachtwoorden - En om u te identificeren als een terugkerende bezoek
-
Fast Windows Hider Gratis proefperiode
Fast Windows Hider is een beveiligingstool die is ontworpen om u te helpen alle vensters (toepassingen) op een bepaald moment te verbergen. Druk op de sneltoets of klik op het pictogram. U Internet Explorer of een andere inte
-
Openwall wordlists collection Gratis proefperiode
Een uitgebreide verzameling van wordlists bestemd voor gebruik met wachtwoord herstel hulpprogramma's. Inbegrepen in deze collectie zijn wordlists voor meer dan 20 menselijke talen en lijsten met algemene wachtwoorden. De inb
-
OneNote Password Recovery Gratis proefperiode
OneNote Password Recovery is een programma om verloren of vergeten wachtwoorden voor Microsoft OneNote-notitieblokken te herstellen. Meertalige wachtwoorden worden ondersteund. Alle versies van Microsoft OneNote worden onders
-
One Click Privacy Gratis proefperiode
One Click Privacy wist permanent alle internetactiviteit, opgeslagen wachtwoorden en creditcardgegevens, im-logboeken, mediaspelerrecords, zoekmachinequery's en toepassingsgebruik met slechts één klik! Bedek je sporen! Wat er
-
RC4.NET Gratis
RC4.NET is een bibliotheek die ondersteuning toevoegt voor het versleutelen/decoderen met behulp van het symmetrische RC4-algoritme in de .NET-omgeving. De bibliotheek is geschreven in C# taal, en presteert even goed op zowel
-
Secure File Encryption Program Gratis
Open Source bestand encryptie, geschreven om te leren over cryptograpy, programmeren, enz. En hopelijk komen met een aantal nieuwe encryptie technieken die het publiek ten goede zou kunnen komen.