Závěrečná práce: Petr Hanák, učo 524742: Analysis of security features of smart lock protocol
Bakalářská práce
Analysis of security features of smart lock protocol
Anotace
The thesis analyses the design and security of the Noke HD smart lock. In the design analysis, we reverse-engineer the lock's protocol because its documentation is not publicly available. We further analyse its design elements. In the security analysis, we assess the protocol's security against common attacks on authentication protocols and other attacks on smart locks. The result of the thesis is a description of the padlock's protocol and its security analysis.
Abstract
Práce analyzuje design a bezpečnost chytrého zámku Noke HD. V analýze designu rekonstruujeme protokol zámku pomocí reverzního inženýrství, protože jeho dokumentace není veřejně dostupná. Dále analyzujeme jednotlivé prvky protokolu. V bezpečnostní analýze posuzujeme bezpečnost zámku proti běžným útokům na autentizační protokoly a proti jiným útokům na chytré zámky. Výsledkem této práce je popis protokolu zámku a jeho bezpečnostní analýza.
Zadání práce
The practical part of the work will:
- Examine and describe one smart lock with an incompletely documented control protocol and try to reconstruct protocol steps using a range of passive and active analysis techniques.
- Identify main security choices made by the protocol designers and discuss reasons for their presence (security functionality achieved, attacker model, concrete parameters chosen).
- Assess the practical security of the protocol and identify potential weaknesses and possible improvements.
Ho et al., Smart Locks: Lessons for Securing Commodity Internet of Things Devices, ASIA CCS 2016, https://doi.org/10.1145/2897845.2897886
24. 5. 2024 15:15, doc. RNDr. Petr Švenda, Ph.D., učo 4085
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Security Analysis of Oracle Vulnerabilities in Ethereum Smart Contracts
Bc. Ondřej Tatýrek -
Zabezpečení paketového zrcadla s využitím asymetrické kryptografie
Mgr. Martin Skala -
Reverzní inženýrství kódu vykonávaného na čipové kartě
Bc. Tomáš Kramoliš, učo 99272 -
Replicas of reverse-engineered classes in C++
Ing. Štěpán Dvorský -
Analýza bezpečnosti počítačové sítě
doc. RNDr. Jan Vykopal, Ph.D., učo 98724 -
Metadata overlay for seccerts.org with security analysis tools
Ing. Erik Moravec -
Reverzní inženýrství
Mgr. Robert Šefr, učo 98573 -
Automated SQL injection attacks validation system
Mgr. Patrik Hudák, učo 422182




