Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Obol

Obol 2009-03-28

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos
Download

O obol é uma linguagem de programação para protocolos de segurança. A ideia é programar mais perto das abstrações usadas para descrever e analisar protocolos de segurança, deixando detalhes de baixo nível, como representação de mensagens, comunicação, cripto, até o tempo de execução.

história da versão

  • Versão 2009-03-28-snap postado em 2009-03-28
    Várias correções e atualizações
  • Versão 2009-03-28-snap postado em 2009-03-28

Detalhes do programa

Programas Relacionados

  • Action1 Add or Change Startup Program Livre

    O Sistema operacional Windows inicia automaticamente certos aplicativos especificados em cada perfil do usuário após o logon. Adicionar um programa à inicialização no Windows pode ajudar a preparar a área de trabalho do usuár

  • Secured Sumatra PDF Livre

    Secured Sumatra PDF é uma versão modificada do PDF de Sumatra que visa ser implementada em ambientes de servidor de terminal especialmente protegidos como o Citrix.

  • EyeLog Livre

    EyeLog é um analisador de log flexível e extensível para qualquer tipo de arquivo de registro. Ele permite definir expressões regulares personalizadas (estilo perl) para correspondência de padrões e formatos de impressão pers

  • gui4bdc Livre

    gui4bdc é uma frente gráfica do Bit Defender Console, um scanner de vírus para Linux (disponível em http://www.bitdefender.com). Ele terá como objetivo fornecer toda a funcionalidade do utilitário do console em uma interface

  • TPM Device Driver Livre

    Driver do dispositivo para habilitar o chip TPM como descrito pelas especificações em http://www.trustedcomputinggroup.org.O chip TPM permitirá que você use hardware para armazenar e proteger com segurança suas chaves e dad

  • OpenSmartHome Livre

    Open Smart Home é um projeto que fornece interface de controle inteligente para sua casa.

  • Easy-SEND Livre

    Easy-SEND é uma implementação do protocolo SEND (SEcure Neighbor Discovery) para IPv6. O objetivo é ser usado para fins de aprendizagem e teste. SEND é descrito em RFC 3971. Easy-SEND inclui uma ferramenta (CGAGen) para gerar

  • EasyCrypter Livre

    EasyCrypter é um aplicativo JAVA para criptografia de dados. Criptografe seus arquivos em várias etapas fáceis.

  • StegTorrent Livre

    Uma ferramenta para ocultar o metainfo bittorrent (.torrent arquivos) e restaurar a mesma volta de imagens (e outros tipos de arquivos) usando métodos steganográficos, fornecendo gui amigável para o processo.

  • MiniFW Livre

    Distribuição Linux em pé em um disquete: iptables, kernel 2.4.18, suporte sshd e fácil de configurar.