Tamarin Atasözü - Tamarin Prover
 | Bu makalenin konusu Wikipedia'nınkiyle buluşmayabilir ürünler ve hizmetler için notability yönergeleri. (Ocak 2018) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) |
 | |
 | |
| Orijinal yazar (lar) | David Basin, Cas Cremers, Jannik Dreier, Simon Meier, Ralf Sasse, Benedikt Schmidt |
|---|---|
| Geliştirici (ler) | Cas Cremers, Jannik Dreier, Ralf Sasse |
| İlk sürüm | Nisan 24, 2012 |
| Kararlı sürüm | 1.4.1 / 18 Ocak 2019 |
| Depo | github |
| Yazılmış | Haskell |
| İşletim sistemi | Linux, Mac os işletim sistemi |
| Uygun | ingilizce |
| Tür | Otomatik muhakeme |
| Lisans | GNU GPL v3 |
| İnternet sitesi | tamarin atasözü |
Tamarin Atasözü bir bilgisayar yazılımı için program resmi doğrulama nın-nin kriptografik protokoller. Doğrulamak için kullanıldı taşıma katmanı Güvenliği 1.3,[1] ISO / IEC 9798,[2] ve DNP3 Güvenli Kimlik Doğrulama v5.0[3][4][5][6]
Referanslar
- ^ Cremers, Cas; Horvat, Marko; Scott, Sam; van der Merwe, Thyla (2016). "TLS 1.3: 0-RTT'nin Otomatik Analizi ve Doğrulaması, Devam Ettirme ve Gecikmeli Kimlik Doğrulama". IEEE Güvenlik ve Gizlilik Sempozyumu, 2016, San Jose, CA, ABD, 22-26 Mayıs 2016. IEEE S&P 2016. s. 470–485. doi:10.1109 / SP.2016.35. ISBN 978-1-5090-0824-7.
- ^ Basin, David; Cremers, Cas; Meier Simon (2013). "Varlık kimlik doğrulaması için ISO / IEC 9798 standardını sağlanabilir şekilde onarmak" (PDF). Bilgisayar Güvenliği Dergisi. 21 (6): 817–846. doi:10.3233 / JCS-130472.
- ^ Cremers, Cas; Dehnel-Wild, Martin; Milner, Kevin (2017). "Şebekede Güvenli Kimlik Doğrulama: DNP3: SAv5'in Biçimsel Bir Analizi" (PDF). Bilgisayar Güvenliği - ESORICS 2017 - 22. Avrupa Bilgisayar Güvenliği Araştırmaları Sempozyumu, Oslo, Norveç, 11-15 Eylül 2017, Bildiriler, Bölüm I. ESORICS 2017. Oslo, Norveç: Springer. s. 389–407. doi:10.1007/978-3-319-66402-6_23. ISBN 978-3-319-66401-9.
- ^ Schmidt, Benedikt; Meier, Simon; Cremers, Cas; Havza, David (2012). "Diffie-Hellman protokollerinin ve gelişmiş güvenlik özelliklerinin otomatik analizi" (PDF). 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, 25-27 Haziran 2012. CSF 2012. Cambridge, MA: IEEE Computer Society. sayfa 78–94.
- ^ Schmidt, Benedikt (2012). Anahtar değişim protokollerinin ve fiziksel protokollerin resmi analizi (Doktora tezi). doi:10.3929 / ethz-a-009898924.
- ^ Meier Simon (2012). Otomatikleştirilmiş güvenlik protokolü doğrulamasını geliştirme (Doktora tezi). doi:10.3929 / ethz-a-009790675.
Dış bağlantılar
- Tamarin Prover resmi web sitesi
- David Wong yarattı Tamarin Prover hakkında bir tanıtım videosu.