libsparkcrypto
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/libsparkcrypto/files/libsparkcrypto-0.1.0.tgz/download
에 대해 libsparkcrypto
SPARK 프로그래밍 언어를 사용하여 암호화 알고리즘을 공식적으로 검증했습니다. 런타임 오류가 없는 전체 라이브러리 증명을 사용할 수 있습니다. 일부 하위 프로그램에는 부분적 정확성증명이 포함되어 있습니다.
관련 프로그램
-
GenPW 무료
GenPW는 작고 간단한 암호 생성기입니다. 암호 패턴 및 문자 집합 확률과 같은 몇 가지 추가 기능을 제공합니다.
-
ipfwAdmin 무료
IpfwAdmin은 관리하는 독립 실행형 웹 기반 관리 도구입니다. FreeBSD Ipfw 규칙 테이블. 그것은 일반 C와 일부 csh / awk / sed 스크립트가 포함되어 있습니다.
-
Cosign: Web Single Sign-On 무료
원래 미시간 대학에 안전한 단일 사인온 웹 인증 시스템을 제공하도록 설계된 오픈 소스 프로젝트입니다. 코사인은 국립 과학 재단 미들웨어 이니셔티브 (NMI) 편집 소프트웨어 릴리스의 일부입니다.
-
SIFA 무료
SIFA(보안 정보 흐름 분석기)는 그래프 기반 접근 방식을 사용하여 정보 보안 관점에서 시스템의 가능한 취약점을 추론하여 시스템에 대한 여러 뷰를 지원합니다. SIFA는 실험적인 프로토타입입니다.
-
mySQLenum 무료
mySQLenum은 MySql 서버를 백 엔드로 사용하는 웹 응용 프로그램을 위한 명령줄 자동 블라인드 SQL 주입 도구입니다. 주요 목표는 사용하기 쉬운 명령줄 인터페이스를 제공하는 것입니다.
-
loop-AES 무료
빠르고 투명한 파일 시스템 및 리눅스에 대한 암호화 패키지를 교환합니다.리눅스 커널에 소스 코드가 변경되지 않습니다.2.6, 2.4, 2.2 및 2.0 커널로 작동합니다.
-
Comply 무료
NIST 800-53을 기반으로 시작하는 웹 기반 컴플라이언스 추적 도구입니다. 바라건대 그것은 HIPAA를 포함 할 것이다, GLBA, 사베인 옥슬리, 개인 정보 보호 법 등.
-
KeyCenter4NB 무료
Java 키스토어 파일, X.509 인증서 등에 액세스하고 조작하기 위한 Netbeans IDE용 모듈 제품군
-
Universal SAFE Signing Interface 무료
USSI는 유니버설 세이프 서명 인터페이스입니다. USSI는 PDF, 텍스트, xml 등에 대한 SAFE 디지털 서명의 적용을위한 웹 서비스를 제공합니다. SAFE에 대한 자세한 내용은 http://www.safe-biopharma.org 참조하십시오.
-
ASP.Net TypeKey authentication module 무료
ASP.Net 사이트가 TypeKey 인증 서비스를 쉽게 사용할 수 있도록 하는 C# 모듈입니다.