FS2PV. Um verificador de protocolo criptográfico para F #
Baixe Agora

FS2PV. Classificação e resumo

FS2PV. Tag

compilador compilar protocolo Verificador AppConfig Verificador verificador de e-mail Verificador de CD. verificador de url. Verificador de arquivos Verificador SFV velocidade Verificador Protocolo HDMP. Protocolo YMSG. Bot verificador livre desativação verificador verificador de email. Verificador do servidor Verificador de conexão protocolo nmdc site Verificador verificador de honeypot Verificador da WebPage. acorde verificador protocolo RTMPE Verificador de assinatura Verificador de rede. ActiveSync Verificador verificador ortográfico dados verificador Verificador de código universal. Verificador de cinema local soma de verificação verificador Verificador de episódios Verificador da versão. Biblioteca criptográfica ferramenta criptografia Transformação criptográfica esquema criptográfico. criptográfico aplicação de criptografia Verificador MD5. verificador de código de hash Verificador ISO. Verificador CRC. Verificador de integridade verificador de disco. Verificador de md5sum. Verificador de aplicação. COM verificador porta verificador de atualidade. Verificador sistema Quem é o protocolo Proteção criptográfica verificador de links Verificador de texto. Verificador de integridade do fluxo objeto criptográfico programa criptográfico Flash Verificador MediaStream Verificador Verificador SHA-1 UPnP Verificador Verificador de Attack Post. verificador de bits Verificador portuário. verificador PDF SDK criptográfico. Header Verificador Verificador de estabilidade. Verificador Java casos de uso de verificador verificador de atividade Verificador imap verificador da conta. verificador de conectividade Verificador de assinatura digital Atualize o verificador Verificador de classes C++ Verificador de hash Verificador de montagem Verificador de controle Verificador de controle WPF. Verificador de palavras Valor de hash criptográfico Verificador de ortografia Verifique o protocolo criptográfico Modelo de cálculo PI verificador mecânico Verificador de pré-requisitos. Verificador de aplicativo da Web. Verificador de fluxo de dados. verificador PE função criptográfica Verificador pré-requisito Verificador de instalação operação criptográfica verificador de e-mail Algoritmos criptográficos

FS2PV. Descrição

O FS2PV foi devado para ser uma ferramenta de verificação que compila implementações de protocolo criptográfico em um subconjunto de primeira ordem de f # para um modelo formal de PI-Cálculus. Este modelo PI-Cálculo pode ser analisado usando o Proverif para provar as propriedades de segurança desejadas ou para encontrar falhas de segurança.

FS2PV. Software Relacionado