크립토 베리프

이 문서에는 여러 가지 문제가 있습니다.개선을 돕거나 토크 페이지에서 이러한 문제에 대해 논의해 주십시오.(이러한 템플릿메시지를 삭제하는 방법과 타이밍에 대해 설명합니다) 이 글은 위키피디아 편집자의 개인적인 감정을 기술하거나 주제에 대한 독창적인 주장을 제시하는 개인적인 성찰, 개인적인 에세이 또는 논쟁적인 에세이처럼 쓰여집니다. 백과사전 형식으로 다시 작성하여 개선하시기 바랍니다. (2011년 11월) (이 템플릿메시지 삭제 방법 및 삭제 타이밍에 대해 알아보기) 이 글은 검증을 위해 추가 인용문이 필요합니다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선하는 데 도움을 주십시오. 조달되지 않은 자재는 제거될 수 있습니다.출처 : "CryptoVerif" – 뉴스 · 신문 · 서적 · 학자 · JSTOR (2011년 11월) (이 템플릿 메시지 삭제 방법 및 삭제 시기 확인) 이 문서의 주제는 위키피디아의 일반적인 알림 가이드라인을 충족하지 못할 수 있습니다. 주제와는 무관하고 단순한 언급을 넘어 상당한 내용을 다루는 신뢰할 수 있는 2차 출처를 인용함으로써 주제 인지도를 입증할 수 있도록 도와주시기 바랍니다. 알림을 표시할 수 없는 경우 문서가 병합, 리디렉션 또는 삭제될 수 있습니다.출처 : "CryptoVerif" – 뉴스 · 신문 · 서적 · 학자 · JSTOR ( 2021년 12월) (이 템플릿 메시지 삭제 방법 및 삭제 시기 확인) (이 템플릿메시지를 삭제하는 방법과 타이밍을 확인합니다)

크립토 베리프

초기 릴리즈	2005년 (2005년)
안정된 릴리스	1.21 / 2015년 9월 3일 (2015-09-03)
기입처	OCaml
이용가능기간:	영어
면허증.	주로 GNU GPL/Windows 바이너리 BSD 라이선스
웹 사이트	prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/

CryptoVerif는 Bruno Blanchet이 ^[1]작성한 보안 프로토콜에 대한 자동 추론을 위한 소프트웨어 도구입니다.

지원되는 암호화 메커니즘

암호화 프리미티브에 대한 보안 전제 조건을 지정하는 메커니즘을 제공합니다.이 메커니즘은 특히 암호화 프리미티브를 처리할 수 있습니다.

• 대칭 암호화,
• 메시지 인증 코드,
• 공개키 암호화,
• 시그니처,
• 해시 함수

구체적인 보안

CryptoVerif는 각 암호화 프리미티브를 파괴할 확률과 관련하여 프로토콜에 대한 공격이 성공할 확률을 평가한다고 주장합니다. 즉, 구체적인 보안을 확립할 수 있습니다.

레퍼런스

외부 링크

• 공식 웹사이트