Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Obol

Obol 2009-03-28

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen
Downloaden

Obol is een programmeertaal voor beveiligingsprotocollen. Het idee is om dichter bij de abstracties te programmeren die worden gebruikt om beveiligingsprotocollen te beschrijven en te analyseren, waardoor details op laag niveau zoals berichtrepresentatie, communicatie, crypto, aan de runtime worden overgelaten.

versiegeschiedenis

  • Versie 2009-03-28-snap geplaatst op 2009-03-28
    Verschillende oplossingen en updates
  • Versie 2009-03-28-snap geplaatst op 2009-03-28

Programmadetails

Gerelateerde programma's

  • Action1 Add or Change Startup Program Gratis

    Windows OS start automatisch bepaalde toepassingen die zijn opgegeven in elk gebruikersprofiel bij aanmelding. Het toevoegen van een programma aan het opstarten op Windows kan helpen bij het voorbereiden van de gebruiker desk

  • Secured Sumatra PDF Gratis

    Secured Sumatra PDF is een aangepaste versie van Sumatra PDF gericht op implementatie in speciaal beveiligde Terminal Server Omgevingen zoals Citrix.

  • EyeLog Gratis

    EyeLog is een flexibele en uitbredende log analyzer voor elk type logbestand. Hiermee u aangepaste reguliere expressies (perl-stijl) definiëren voor patroonmatching en aangepaste afdrukindelingen voor rapportage. Het doel is

  • gui4bdc Gratis

    gui4bdc is een grafische front-end van Bit Defender Console, een virusscanner voor Linux (beschikbaar op http://www.bitdefender.com). Het zal ernaar streven om alle functionaliteit van de console nut te bieden in een eenvoudi

  • TPM Device Driver Gratis

    Apparaatstuurprogramma om de TPM-chip in te schakelen, zoals beschreven in specificaties op http://www.trustedcomputinggroup.org.Met de TPM-chip u hardware gebruiken om uw sleutels en persoonlijke gegevens veilig op te slaa

  • OpenSmartHome Gratis

    Open Smart Home is een project dat een intelligente besturingsinterface voor uw huis biedt.

  • Easy-SEND Gratis

    Easy-SEND is een implementatie van het SEND (SEcure Neighbor Discovery) protocol voor IPv6. Het is bedoeld om te worden gebruikt voor leer- en testdoeleinden. SEND is beschreven in RFC 3971. Easy-SEND bevat een tool (CGAGen)

  • EasyCrypter Gratis

    EasyCrypter is JAVA applicatie voor data encryptie. Versleutel uw bestanden in verschillende eenvoudige stappen.

  • StegTorrent Gratis

    Een hulpmiddel om BitTorrent metainfo (.torrent bestanden) te verbergen in en te herstellen dezelfde achterkant van afbeeldingen (en andere soorten bestanden) met behulp van steganografische methoden, die vriendelijke GUI

  • MiniFW Gratis

    Linux distributie staat op een floppy: iptables, kernel 2.4.18, sshd support en eenvoudig te configureren.