La logique immuable: Conception de matériel déterministe pour des systèmes de contrôle inviolables

· Convergence cyberphysique et renforcement des systèmes Book 2 · Thothora
Ebook
498
Pages
Eligible

About this ebook

Qu'est-ce que la logique immuable ?


À l'ère des vulnérabilités logicielles, la véritable sécurité ne se programme pas ; elle est forgée dans le silicium.


Les automates programmables industriels (API) traditionnels sont vulnérables aux failles de sécurité au niveau du code, susceptibles de paralyser les infrastructures critiques et les processus industriels.


Quels sont les avantages ?


- Maîtriser les principes de la logique déterministe matérielle.


- Éliminer la surface d'attaque des couches de contrôle logicielles.


- Concevoir des architectures de contrôle physiquement impossibles à rediriger.


- Mettre en œuvre une sécurité « zéro confiance » au niveau des matrices de portes logiques.


- Acquérir une expertise technique approfondie grâce à 210 concepts soigneusement sélectionnés et répartis dans 21 annexes spécifiques à chaque chapitre.


Quelle est la feuille de route ? 1 - Le paradigme déterministe : pourquoi la logique logicielle ne suffit plus


2 - Fondements de la logique physique : sécurité et algèbre booléenne


3 - Évolution des automates programmables : des relais aux contrôleurs déterministes modernes


4 - Le plan du silicium : conception de circuits intégrés spécifiques à une application


5 - Réseaux de portes programmables : un juste milieu pour la logique matérielle


6 - Sécurité câblée : éliminer la surface d'attaque du jeu d'instructions


7 - Vérification formelle : preuves mathématiques pour la conception logique


8 - Contraintes temps réel : maintien de l'intégrité temporelle dans les boucles de contrôle


9 - Architecture des machines à états finis : conception de contrôleurs robustes

10 - Redondance et fiabilité : Matériel déterministe tolérant aux pannes


11 - Fonctions physiques non clonables : Identité et authentification matérielles


12 - La fin du goulot d'étranglement de Von Neumann : Architectures de programmes non stockés


13 - Synthèse logique : Traduction des exigences de contrôle en portes logiques


14 - Interférences électromagnétiques : Renforcement du matériel contre les attaques par proximité physique


15 - Isolation des protocoles propriétaires : Sécurisation de l'interface de communication


16 - Systèmes instrumentés de sécurité : Logique déterministe dans les applications critiques


17 - La racine de confiance : Établissement de l'intégrité lors de la mise sous tension


18 - Logique combinatoire vs logique séquentielle Choix architecturaux pour une précision de contrôle


19 - Intégrité de la chaîne d'approvisionnement : Garantir la pureté du matériel, de la fabrication au déploiement


20 - Intégration aux systèmes existants : Relier la logique immuable à l'infrastructure existante


21 - L'avenir du contrôle : Architectures déterministes autonomes


À qui s'adresse ce document ?


Destiné aux ingénieurs en systèmes de contrôle, aux architectes matériels et aux spécialistes de la cybersécurité industrielle.


Comment agir ?


Protégez les infrastructures essentielles de la civilisation moderne grâce à des systèmes inviolables et inviolables.


Construisez la résilience industrielle de demain en maîtrisant dès aujourd'hui la conception matérielle déterministe.

Qu'est-ce que la logique immuable ? À l'ère des vulnérabilités logicielles, la véritable sécurité ne se programme pas ; elle est forgée dans le silicium. Les automates programmables industriels (API) traditionnels sont vulnérables aux failles de sécurité au niveau du code, susceptibles de paral...

Discover more

Rate this ebook

Tell us what you think.

Reading information

Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.