Zpět na vyhledávání

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
Abstract:
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 …more
Abstract:
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 …more
 

Keywords

PKCS#11 Cryptoki key cryptography model checker klíč kryptografie
 
Language used: English
Date on which the thesis was submitted / produced: 13. 6. 2014
Identifier: https://is.muni.cz/th/lgzvx/

Thesis defence

  • Date of defence: 24. 6. 2014
  • Supervisor: RNDr. Adam Rambousek, Ph.D.
  • Reader: Mgr. Miloslav Trmač

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Information Technology Security

Theses on a related topic

List of theses with an identical keyword.