타마린 프로버
Tamarin Prover |
 | |
 | |
| 원저작자 | 데이비드 바인, 카스 크레머스, 얀닉 드레어, 사이먼 마이어, 랄프 사세, 베네딕트 슈미트 |
|---|---|
| 개발자 | Cas Cremers, Jannik Dreier, Ralf Sasse |
| 초기 릴리즈 | 2012년 4월 24일 ( |
| 안정된 릴리스 | 1.4.1 / 2019년 1월 18일( |
| 저장소 | github |
| 기입처 | 하스켈 |
| 운영 체제 | Linux, macOS |
| 이용가능기간: | 영어 |
| 유형 | 자동 추리 |
| 면허증. | GNU GPL v3 |
| 웹 사이트 | tamarin-prover |
Tamarin Prover는 암호 프로토콜의 공식적인 검증을 위한 컴퓨터 소프트웨어 프로그램입니다.Transport Layer Security 1.3,[1] ISO/IEC 9798 [2]및 DNP3 Secure Authentication v5의 [3]검증에 사용되고 있습니다.[4][5][6]
레퍼런스
- ^ Cremers, Cas; Horvat, Marko; Scott, Sam; van der Merwe, Thyla (2016). "Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication". IEEE Symposium on Security and Privacy, 2016, San Jose, CA, USA, May 22-26, 2016. IEEE S&P 2016. pp. 470–485. doi:10.1109/SP.2016.35. ISBN 978-1-5090-0824-7.
- ^ Basin, David; Cremers, Cas; Meier, Simon (2013). "Provably repairing the ISO/IEC 9798 standard for entity authentication" (PDF). Journal of Computer Security. 21 (6): 817–846. doi:10.3233/JCS-130472.
- ^ Cremers, Cas; Dehnel-Wild, Martin; Milner, Kevin (2017). "Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5" (PDF). Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I. ESORICS 2017. Oslo, Norway: Springer. pp. 389–407. doi:10.1007/978-3-319-66402-6_23. ISBN 978-3-319-66401-9.
{{cite conference}}:외부 링크conference= - ^ Schmidt, Benedikt; Meier, Simon; Cremers, Cas; Basin, David (2012). "Automated analysis of Diffie-Hellman protocols and advanced security properties" (PDF). 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012. CSF 2012. Cambridge, MA: IEEE Computer Society. pp. 78–94.
- ^ Schmidt, Benedikt (2012). Formal analysis of key exchange protocols and physical protocols (PhD thesis). doi:10.3929/ethz-a-009898924.
- ^ Meier, Simon (2012). Advancing automated security protocol verification (PhD thesis). doi:10.3929/ethz-a-009790675.
외부 링크
- 타마린 프로버 공식 웹사이트
- David Wong은 Tamarin Prover에 대한 소개 비디오를 만들었습니다.
