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

Obol 2009-03-28

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos
Baixar

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, para 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 Grátis

    O Windows OS inicia automaticamente determinadas aplicações especificadas em cada perfil de utilizador após a inscrição. Adicionar um programa para iniciar no Windows pode ajudar a preparar o ambiente de trabalho do utilizado

  • Secured Sumatra PDF Grátis

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

  • EyeLog Grátis

    EyeLog é um analisador de registo flexível e extensível para qualquer tipo de ficheiro de log. Permite definir expressões regulares personalizadas (estilo perl) para combinar padrões e formatos de impressão personalizada para

  • gui4bdc Grátis

    gui4bdc é uma extremidade frontal gráfica da Consola Bit Defender, um scanner de vírus para Linux (disponível em http://www.bitdefender.com). Terá como objetivo fornecer toda a funcionalidade da utilidade da consola numa UI d

  • TPM Device Driver Grátis

    Controlador do dispositivo para ativar o chip TPM, conforme descrito pelas especificações em http://www.trustedcomputinggroup.org.O chip TPM permitir-lhe-á utilizar hardware para armazenar e proteger de forma segura as suas

  • OpenSmartHome Grátis

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

  • Easy-SEND Grátis

    Easy-SEND é uma implementação do protocolo SEND (SEcure Neighbor Discovery) para o IPv6. Destina-se a ser utilizado para fins de aprendizagem e teste. SEND é descrito no RFC 3971. Easy-SEND inclui uma ferramenta (CGAGen) para

  • EasyCrypter Grátis

    EasyCrypter é uma aplicação JAVA para encriptação de dados. Criptografe os seus ficheiros em vários passos fáceis.

  • StegTorrent Grátis

    Uma ferramenta para esconder bitTorrent metainfo (.torrent ficheiros) e restaurar o mesmo de volta a partir de imagens (e outros tipos de ficheiros) usando métodos esceganográficos, fornecendo GUI amigável para o processo

  • MiniFW Grátis

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