Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. libsparkcrypto

libsparkcrypto

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

Uma implementação formalmente verificada de algoritmos criptográficos usando a linguagem de programação SPARK. Para as provas completas da biblioteca, estão disponíveis a ausência de erros de tempo de execução. Alguns de seus subprogramas incluem provas de correção parcial.

história da versão

  • Versão files postado em 2010-09-13
    Várias correções e atualizações
  • Versão N/A postado em 2010-09-13

Detalhes do programa

Programas Relacionados

  • GenPW Livre

    GenPW é um pequeno e simples gerador de senhas. Ele fornece algumas funcionalidades adicionais como, Padrões de Senha e Probabilidades de caracteres.

  • ipfwAdmin Livre

    IpfwAdmin é uma ferramenta de administração baseada na Web autônoma que gerencia Tabelas de regras do Ipfw FreeBSD. Contém scripts simples c e alguns scripts csh/awk/sed.

  • Cosign: Web Single Sign-On Livre

    Um projeto de código aberto originalmente projetado para fornecer à Universidade de Michigan um sistema seguro de autenticação da Web. A Cosign faz parte da versão de software edit da National Science Foundation Middleware In

  • SIFA Livre

    O SIFA (Secure Information Flow Analyzer) usa uma abordagem baseada em gráficos para raciocinar sobre as possíveis vulnerabilidades de um sistema a partir de uma perspectiva de segurança da informação, suportando múltiplas vi

  • mySQLenum Livre

    mySQLenum é uma ferramenta de injeção de sql cega automática de linha de comando para aplicação web que usa o servidor MySql como seu back-end. Seu principal objetivo é fornecer uma interface de linha de comando fácil de usar

  • loop-AES Livre

    Sistema de arquivos rápido e transparente e pacote de criptografia de troca para linux.Sem alterações de código-fonte no kernel linux.Trabalha com núcleos 2.6, 2.4, 2.2 e 2.0.

  • Comply Livre

    Uma ferramenta de rastreamento de conformidade baseada na Web que começará com base no NIST 800-53. Espero que inclua HIPAA, GLBA, Sarbane Oxley, Privacy Act etc.

  • KeyCenter4NB Livre

    Um conjunto de módulos para o Netbeans IDE para acessar e manipular arquivos java keystore, certificados X.509, etc.

  • Universal SAFE Signing Interface Livre

    USSI é a Interface universal de assinatura SAFE. A USSI fornece serviços web para a aplicação de assinaturas digitais SAFE para PDF, texto, xml, etc. Consulte http://www.safe-biopharma.org para obter mais informações sobre

  • ASP.Net TypeKey authentication module Livre

    Um módulo C# para permitir que ASP.Net sites usem facilmente o serviço de autenticação TypeKey.