Cross-Layer Design for Secure and Resilient Cyber-Physical Systems: A Decision and Game Theoretic Approach
Časť I Motivácia a rámec.
1 Úvod.
1. 1 Kyberfyzické systémy a inteligentné mestá.
1. 2 Nové výzvy v oblasti CPS.
1. 3 Prehľad a súvisiace práce.
1. 4 Osnova knihy.
2 Prierezový rámec pre CPS.
2. 1 Úvod do prierezového návrhu.
2. 2 Prierezový návrh: Spojenie kryptografie a teórie riadenia.
2. 3 Prierezový návrh: Spojenie teórie hier s teóriou riadenia.
2. 4 Medziúrovňový návrh pri neúplných informáciách.
2. 5 Závery.
Časť II Bezpečné outsourcingové výpočty CPS.
3 Nová architektúra: CPS s podporou cloudu.
3. 1 Sľubné aplikácie CE-CPS.
3. 1. 1 Robotika s podporou cloudu.
3. 1. 2 Inteligentné siete s podporou cloudu.
3. 1. 3 Dopravné systémy využívajúce cloud.
3. 1. 4 Výroba využívajúca cloud.
3. 2 Nové bezpečnostné požiadavky na CE-CPS.
3. 3 Záver.
4 Bezpečný a odolný návrh Could-Enabled CPS.
4. 1 Nové výzvy a navrhované riešenia CE-CPS.
4. 2 Stanovenie problémov.
4. 3 Dynamika systému a algoritmus MPC.
4. 4 Štandardná forma kvadratického problému.
4. 4. 1 Modely útoku na mrak.
4. 4. 2 Rámec navrhovaného mechanizmu.
4. 5 Konfidencia a integrita.
4. 5. 1 Metódy šifrovania.
4. 5. 2 Verifikačné metódy.
4. 6 Otázky dostupnosti.
4. 6. 1 Mechanizmus prepínania režimov.
4. 6. 2 Buffer Mode and Switching Condition (Režim a podmienky spínania).
4. 6. 3 Miestny ovládač pre bezpečný režim.
4 4. 7 Analýza a experimenty.
4. 8 Závery a poznámky.
5 Bezpečná asimilácia údajov v cloudových senzorových sieťach.
5. 1 Úvod do CE-LSN.
5. 2 Formulácia problému.
5. 2. 1 Model systému a externý Kalmanov filter.
5. 2. 2 Výzvy a ciele návrhu.
5. 3 Bezpečná asimilácia údajov outsourcingu.
5. 3. 1 Aditívne homomorfné šifrovanie.
5. 3. 2 Homomorfný pozorovateľ.
5. 3. 3 Šifrovanie na mieru pre externé výpočty.
5. 4 Analýza efficiencie a bezpečnosti.
5. 4. 1 Analýza efficiencie.
5. 4. 2 Bezpečnostná analýza.
5. 5 Analýza kvantizačných chýb.
5. 6 Experimentálne výsledky.
5. 6. 1 Výstup zašifrovaných informácií.
5. 6. 2 Vplyv kvantizačných chýb.
5. 7 Závery a poznámky.
Časť III Teoretický prístup k hrám pre CPS.
6 Prehľad teórie hier.
6. 1 Úvod do teórie hier.
6. 2 Model hry s nulovým súčtom pre dve osoby.
6. 2. 1 Formulácia hry s nulovým súčtom.
6. 3 Model Stackelbergovej hry.
6. 3. 1 Formulácia Stackelbergovej hry.
6. 3. 2 Návrh bezpečnosti na základe Stackelbergovej hry.
6. 4 Model hry FlipIt.
6. 4. 1 Formulácia hry FlipIt.
6. 4. 2 Analýza hry FlipIt.
6. 5 Signalizačná hra s dôkazmi.
6. 6 Záver a poznámky70.
7 Teoretický prístup k hrám na bezpečné riadenie 3D tlačiarní.
7. 1 Nové výzvy v oblasti sieťových 3D tlačiarní.
7. 2 Formulácia problému.
7. 2. 1 Dynamický model systémov 3D tlače.
7. 2. 2 Fyzikálny rámec hry s nulovým súčtom.
7. 2. 3 Model kyberneticko-fyzikálneho útoku pre systémy 3D tlače.
7. 2. 4 Model hry Cyber FlipIt.
7. 2. 5 Model kyberneticko-fyzickej Stackelbergovej hry.
7. 3 Analýza kyberneticko-fyzických hier.
7. 3. 1 Analýza rovnováhy fyzickej hry s nulovým súčtom.
7. 3. 2 Analýza rovnováhy kybernetickej flipIt hry.
7. 3. 3 Analýza rovnováhy kyberneticko-fyzickej Stackelbergovej hry.
7. 4 Numerické výsledky.
7. 5 Záver a poznámky.
8 Herný rámec na bezpečné riadenie systémov CBTC.
8. 1 Úvod do systémov CBTC.
8. 2 Formulácia problému.
8. 2. 1 Fyzikálny model vlakového systému.
8. 2. 2 Komunikačný model a model útoku.
8. 3 Prístup k odhadu a bezpečnostné kritérium.
8. 3. 1 Problém fyzického odhadu.
© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)
