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

libsparkcrypto

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

Uma implementação formalmente verificada de algoritmos criptográficos usando a linguagem de programação SPARK. Para a biblioteca completa, estão disponíveis provas da ausência de erros de tempo de execução. Alguns dos 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 Grátis

    GenPW é um pequeno e simples gerador de senhas. Fornece algumas funcionalidades adicionais como, Padrões de Palavras-Passe e Probabilidades de Caractereset.

  • ipfwAdmin Grátis

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

  • Cosign: Web Single Sign-On Grátis

    Um projeto de código aberto originalmente projetado para fornecer à Universidade de Michigan um sistema de autenticação web único seguro. Cosign faz parte do lançamento do software EDIT da National Science Foundation (NMI).

  • SIFA Grátis

    O SIFA (Secure Information Flow Analyser) utiliza uma abordagem baseada em gráficos para a razão sobre as possíveis vulnerabilidades de um sistema do ponto de vista da segurança da informação, suportando múltiplas opiniões so

  • mySQLenum Grátis

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

  • loop-AES Grátis

    Sistema de ficheiros rápido e transparente e pacote de encriptação de troca por linux.Nenhum código fonte altera o núcleo linux.Funciona com núcleos 2.6, 2.4, 2.2 e 2.0.

  • Comply Grátis

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

  • KeyCenter4NB Grátis

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

  • Universal SAFE Signing Interface Grátis

    USSI é a Interface Universal SAFE Signing. 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 mais informações sobre a SAFE.

  • ASP.Net TypeKey authentication module Grátis

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