Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Obol

Obol 2009-03-28

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti
Scaricare

Obol è un linguaggio di programmazione per protocolli di sicurezza. L'idea è di programmare più vicino alle astrazioni utilizzate per descrivere e analizzare i protocolli di sicurezza, lasciando dettagli di basso livello come rappresentazione dei messaggi, comunicazione, cripto, al runtime.

cronologia delle versioni

  • Versione 2009-03-28-snap pubblicato il 2009-03-28
    Diverse correzioni e aggiornamenti
  • Versione 2009-03-28-snap pubblicato il 2009-03-28

Dettagli del programma

Programmi correlati

  • Action1 Add or Change Startup Program Gratuito

    Il sistema operativo Windows avvia automaticamente alcune applicazioni specificate in ogni profilo utente all'accesso. L'aggiunta di un programma all'avvio in Windows può aiutare a preparare il desktop dell'utente all'accesso

  • Secured Sumatra PDF Gratuito

    Secured Sumatra PDF è una versione modificata del PDF di Sumatra che deve essere implementata in ambienti Terminal Server appositamente protetti come Citrix.

  • EyeLog Gratuito

    EyeLog è un analizzatore di log flessibile ed estensibile per qualsiasi tipo di file di registro. Consente di definire espressioni regolari personalizzate (stile perl) per la corrispondenza dei modelli e formati printf person

  • gui4bdc Gratuito

    gui4bdc è un front-end grafico di Bit Defender Console, uno scanner antivirus per Linux (disponibile su http://www.bitdefender.com). Avrà lo scopo di fornire tutte le funzionalità dell'utilità console in un'interfaccia utente

  • TPM Device Driver Gratuito

    Driver di periferica per abilitare il chip TPM come descritto dalle specifiche http://www.trustedcomputinggroup.org.Il chip TPM ti consentirà di utilizzare l'hardware per archiviare e proteggere in modo sicuro le tue chiavi

  • OpenSmartHome Gratuito

    Open Smart Home è un progetto che fornisce un'interfaccia di controllo intelligente per la tua casa.

  • Easy-SEND Gratuito

    Easy-SEND è un'implementazione del protocollo SEND (SEcure Neighbor Discovery) per IPv6. È destinato ad essere utilizzato per scopi di apprendimento e test. SEND è descritto in RFC 3971. Easy-SEND include uno strumento (CGAGe

  • EasyCrypter Gratuito

    EasyCrypter è un'applicazione JAVA per la crittografia dei dati. Crittografa i tuoi file in diversi semplici passaggi.

  • StegTorrent Gratuito

    Uno strumento per nascondere le metainfo BitTorrent (.torrent file) e ripristinare lo stesso indietro dalle immagini (e da altri tipi di file) utilizzando metodi steganografici, fornendo una GUI amichevole per il processo

  • MiniFW Gratuito

    Distribuzione Linux in piedi su un floppy: iptables, kernel 2.4.18, supporto sshd e facile da configurare.