Verifying and improving cryptographic key security in PKCS#11 implementations – Mgr. Bc. Josef Hertl
Mgr. Bc. Josef Hertl
Master's thesis
Verifying and improving cryptographic key security in PKCS#11 implementations
Verifying and improving cryptographic key security in PKCS#11 implementations
Anotácia:
Diplomová práce se zabývá automatizovanou analýzou implementací standardu PKCS#11 se zaměřením na bezpečnost uložených klíčů. Práce analyzuje standard PKCS#11, vymezuje podstatné funkce pro ochranu uložených klíčů a navrhuje testy, které zjišťují, zda implementace těchto funkcí odpovídá standardu. Práce dále navrhuje testy pro ověření odolnosti zařízení proti známým útokům. Hlavní přínos práce představuje …viacAbstract:
This thesis deals with automated analysis of PKCS#11 implementations with focus on cryptographic key protection. It analyses the PKCS#11 standard, defines functions critical for cryptographic key protection and designs tests to determine if the implementation of these functions adheres to the standard. It also designs tests for known attacks on PKCS#11 implementations. The most important contribution …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 13. 6. 2014
Identifikátor:
https://is.muni.cz/th/lgzvx/
Obhajoba závěrečné práce
- Obhajoba proběhla 24. 6. 2014
- Vedúci: RNDr. Adam Rambousek, Ph.D.
- Oponent: Mgr. Miloslav Trmač
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Information Technology Security