Tamarin Prover - Tamarin Prover
 | Téma tohoto článku nemusí splňovat požadavky Wikipedie pokyny k pozoruhodnosti produktů a služeb. (Ledna 2018) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
 | |
 | |
| Původní autoři | David Basin, Cas Cremers Jannik Dreier, Simon Meier, Ralf Sasse, Benedikt Schmidt |
|---|---|
| Vývojáři | Cas Cremers Jannik Dreier, Ralf Sasse |
| První vydání | 24.dubna 2012 |
| Stabilní uvolnění | 1.4.1 / 18. ledna 2019 |
| Úložiště | github |
| Napsáno | Haskell |
| Operační systém | Linux, Operační Systém Mac |
| K dispozici v | Angličtina |
| Typ | Automatické uvažování |
| Licence | GNU GPL v3 |
| webová stránka | provokátor tamarinu |
Tamarin Prover je počítačový software program pro formální ověření z kryptografické protokoly. Bylo použito k ověření Zabezpečení transportní vrstvy 1.3,[1] ISO / IEC 9798,[2] a DNP3 Zabezpečené ověřování v5.[3][4][5][6]
Reference
- ^ 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, 22. - 26. května 2016. IEEE S&P 2016. str. 470–485. doi:10.1109 / SP.2016.35. ISBN 978-1-5090-0824-7.
- ^ Basin, David; Cremers, Cas; Meier, Simon (2013). „Prokazatelně oprava normy ISO / IEC 9798 pro autentizaci entit“ (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). Počítačová bezpečnost - ESORICS 2017 - 22. evropské symposium o výzkumu v počítačové bezpečnosti, Oslo, Norsko, 11. – 15. Září 2017, sborník, část I. ESORICS 2017. Oslo, Norsko: Springer. 389–407. doi:10.1007/978-3-319-66402-6_23. ISBN 978-3-319-66401-9.
- ^ Schmidt, Benedikt; Meier, Simon; Cremers, Cas; Basin, David (2012). „Automatizovaná analýza protokolů Diffie-Hellman a pokročilých bezpečnostních vlastností“ (PDF). 25. sympozium IEEE Computer Security Foundations, CSF 2012, Cambridge, MA, USA, 25. – 27. Června 2012. CSF 2012. Cambridge, MA: IEEE Computer Society. str. 78–94.
- ^ Schmidt, Benedikt (2012). Formální analýza protokolů výměny klíčů a fyzických protokolů (Disertační práce). doi:10,3929 / ethz-a-009898924.
- ^ Meier, Simon (2012). Pokrok v automatizovaném ověření bezpečnostního protokolu (Disertační práce). doi:10,3929 / ethz-a-009790675.
externí odkazy
- Oficiální web poskytovatele Tamarin
- David Wong vytvořil úvodní video o poskytovateli Tamarin.