Modelově orientované bezpečnostní inženýrství pro návrhy s obvody FPGA – Ing. Michael VETTER
Ing. Michael VETTER
Doctoral thesis
Modelově orientované bezpečnostní inženýrství pro návrhy s obvody FPGA
Abstract:
The thesis provides an analysis and adaptation of appropriate security methods from the software domain into the FPGA world and combines them with formal verification methods and machine learning techniques. The deployment of appropriate defense mechanisms requires intelligence about the threat agents, especially their motivation and capabilities. FPGA based designs are, like any other IT system, exposed …viacAbstract:
Tato práce obsahuje analýzu a adaptaci vhodných metod zabezpečení, pocházejících ze softwarové domény, do světa FPGA. Metoda formalizace bezpečnostní výzvy FPGA je prezentována jazykem FPGASECML, specifickým pro danou doménu, vhodným pro modelování hrozeb zaměřených na systém a pro formální definování bezpečnostní politiky. Vytvoření vhodných obranných mechanismů vyžaduje inteligenci o agentech ohrožení …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 28. 8. 2020
Zverejniť od: 31. 12. 2999
Obhajoba závěrečné práce
- Vedúci: Doc. Ing. Vlastimil Vavřička, CSc.
Citační záznam
Jak správně citovat práci
VETTER, Michael. Modelově orientované bezpečnostní inženýrství pro návrhy s obvody FPGA. Plzeň, 2020. disertační práce (Ph.D.). ZÁPADOČESKÁ UNIVERZITA V PLZNI. Fakulta aplikovaných věd
Plný text práce
Právo: Autor si nepřeje zpřístupnění práce veřejnosti
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou nedostupné.
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: ZÁPADOČESKÁ UNIVERZITA V PLZNI, Fakulta aplikovaných vědVázaný výtisk práce naleznete v Univerzitní knihovně ZČU, více na http://www.knihovna.zcu.cz/kvalifikacni-prace/
University of West Bohemia
Faculty of Applied SciencesDoctoral programme / odbor:
Computer Science and Engineering / Computer Science and Engineering
Práce na příbuzné téma
-
Detekční a bezpečnostní kontrola osob jiných než cestujících v podmínkách veřejných mezinárodních letišť v ČR - metody, postupy a rizika
David Herbst -
Řízení a kontrola bezpečnosti serverů a koncových zařízení v kontextu informační bezpečnosti (DEVSEC)
Vladimír Jech -
Kontrola bezpečnosti přeprav radioaktivních materiálů
Tereza Maierová -
Bezpečnostní kontrola osob a zavazadel na letištích
Klára Pavlíčková -
Pevnostní kontrola desetistupňové převodovky Tatra pro vyšší momentové zatížení
Martin Ondrušák -
Návrh modelu pro plánování preventivních kontrol bezpečnosti práce
Kateřina Štěpánková -
Kolaborativní strojové učení v kontextu síťové bezpečnosti
Lukáš Hejcman -
Adversarialní strojové učení pro detekci škodlivého chování v síťové bezpečnosti
Michal Najman