소프트웨어 제출
  1. 홈
  2. Linux
  3. 다른
  4. libsparkcrypto

libsparkcrypto

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 5.0/5 - ‎1 ‎투표
다운로드

SPARK 프로그래밍 언어를 사용하여 암호화 알고리즘을 공식적으로 검증했습니다. 런타임 오류가 없는 전체 라이브러리 증명을 사용할 수 있습니다. 일부 하위 프로그램에는 부분적 정확성증명이 포함되어 있습니다.

버전 기록

  • 버전 files 에 게시 2010-09-13
    몇 가지 수정 및 업데이트
  • 버전 N/A 에 게시 2010-09-13

프로그램 세부 정보

관련 프로그램

  • 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# 모듈입니다.