Cyber-fiziksel sistemler (CPS), hesaplama algoritmaları fiziksel süreçlerle entegre eder, dağıtımdan önce sıkıca çift ağlar oluşturmak ve CPS'yi doğrudan etkileyen en etkili modeli incelemek ve alanlarının daha bağlantılı ve özerk hale getirilmesi için nasıl etkinleştirildiğini gösterirken, güvenlik giderek karmaşık hale gelir. Gelişmiş sistem modelleme teknikleri, saldırı sonuçlarını tanımlamak için gerekli olan analitik temelleri sağlar ve dağıtıma karşı dayanıklı savunmaları belirler.
Cyber-Physical Systems
Cyber-fiziksel sistemler, orkestra algılama, hesaplama, kontrol ve fiziksel ve dijital alanlarda ağ oluşturma sistemleri, CPS gerçek zamanlı fiziksel süreçlerle etkileşime girilir, güvenlik hataları sadece veri kaybına yol açabilir, fiziksel zararlara, çevresel zararlara veya yaşam kaybına yol açabilir. Anahtar uygulama alanları, üretim ve enerji, otonom araçlar, tıbbi cihazlara, inşaat yönetim sistemlerine ve akıllı ağlara, akıllı ağlara ve akıllı ağ altyapıya sahiptir.
Core Bileşenler ve Onların Etkileşimleri
Tipik bir CPS mimarisi birkaç katmandan oluşur:
- [FONT:0)Physical katmanı:[Dönetici:[Dönetici: 0,4] sensörler, eylemciler ve çevre ile etkileşim yapan mekanik sistemler.
- [FONT=0) Kontrol katmanı: [DÜDÜT:1] programlanabilir mantık kontrolörleri (PLC), uzaktan terminal birimleri ( RTUs), kontrol algoritmaları uygulayan veya gömülü işlemciler.
- [FONT:0) İletişim katmanı: [DFLT:1] sensörleri, kontrolörleri ve denetçi sistemleri birbirine bağlayan ağlar, genellikle MODBUS, DNP3 veya OPC UA gibi protokolleri kullanarak.
- [FONT:0]Superviz ve yönetim katmanı:[Dönetici: insan-makine arayüzleri (HMIs) ve denetim ve veri satın alma (SCADA) sistemleri izleme ve operatör kontrolü sağlar.
Bu katmanlar arasındaki karmaşık bağımlılıklar büyük bir saldırı yüzeyi yaratır. İletişim katmanını tehlikeye atan bir reklam, kontrol katmanına zarar veren tehlikeli ayarlamalar yapmasına neden olabilir.
Güvenlik Challenges Unique to CPS
Geleneksel IT sistemlerinin aksine, CPS çeşitli ayırt edici güvenlik sorunlarıyla karşı karşıya kalır:
- [FONT:0) Güvenli-kahkak zamanlaması:[Döneticiler) Birçok kontrol döngüsü milisans içinde yanıt gerektirir. Geç kimlik sunan güvenlik mekanizmaları - ağır şifreleme veya sık kimlik doğrulama sorunları gibi - sistemi istikrarsızlaştırır.
- [FONT:0)Legacy bileşenleri: [Dönetici: [Dönetici: 1) Endüstriyel sistemler genellikle on yıllardır hiçbir zaman güvenlikle tasarlanmamış donanım ve yazılımlarla çalışır. Retrofitting security zor ve pahalı.
- [FONT:0)Physical maruziyet:[Dönetici:[Döneticiler ve eylemciler genellikle korunmasız ortamlarda dağıtılırlar, onları fiziksel tampering veya yan kanal saldırılarına karşı savunmasız hale getirirler.
- [FONT:0]Uzun yaşam döngüsü: [Dönetici:[Dönetici: 0,2] CPS bileşenleri 20-30 yıl boyunca hizmette kalabilir, tipik IT ekipmanlarından çok daha uzun süre güvenlik yamaları ve güncellemeler genellikle sistemi aşırı zorlaştırır çünkü sistem kesintiye uğratırlar.
Bu faktörler, tasarım sürecinde erken güvenlik özelliklerini kapsamlı bir şekilde modellemek ve doğrulamak için gerekli hale getirir.
Sistem CPS Güvenlikinde Modellemenin Rolü
Sistem modellemesi, hem normal hem de geri dönüşümlü koşullar altında CPS davranışını analiz etmek için yapılandırılabilir, tekrarlanabilir bir yöntem sunar. Sistem bileşenlerinin soyut gösterimi, etkileşimleri ve çevreleri, mühendisler büyük devlet uzaylarını keşfedebilir, saldırı senaryolarını keşfedebilir ve fiziksel zarar veya pahalı alan testlerini riske atmaksızın güvenlik özelliklerini doğrulayabilirler.
Model tabanlı Güvenlik Analizinin Faydaları
- [FONT:0) Tasarım kusurlarının tespiti: Tanımlama aşamasındaki açıklıkları ortaya çıkarmak, düzeltmeler en ucuz ve en azından yıkıcı olduğunda.
- [FONT:0)Sistematik kapsama:[Dönetici 1] resmi modeller mümkün olan tüm ülkeleri ayrıntılı olarak kontrol edebilir, köşeli vakaların kaçırılmamasını sağlar.
- [FONT:0)Quantitative risk değerlendirmesi:) modeller farklı saldırı yollarının olasılığını ve etkisini tahmin etmek için olasılıksal unsurları dahil edebilir.
- [FONT:0) İletişim yardımı: [Dönetici ve metin modelleri disiplin takımlarında yardımcı olur - kontrol mühendisler, yazılım geliştiricileri, güvenlik uzmanları - sistem davranışları anlayışı.
Ulusal Standartlar ve Teknoloji Enstitüsü (NIST), kritik altyapı siber güvenliğini geliştirmek için çerçevenin bir parçası olarak modellemeyi önerir, özellikle ICS.ETHFLT:0)NIST SP 800-82 Rev. 2) endüstriyel kontrol sistemleri için modelleme tekniklerini uygulama konusunda rehberlik sağlar.
Core Advanced Modeling Techniques
Bazı gelişmiş model paradigmaları özellikle CPS güvenlik analizi için etkili olmuştur. Her biri sistem özelliklerine ve güvenlik sorularına bağlı olarak eşsiz güçlü yönleri sunar.
1. Formal Yöntemler
Formal yöntemler sistem gereksinimlerini belirtmek ve bir tasarımın bu gereksinimleri karşılamadığını doğrulamak için matematiksel mantık kullanır. CPS güvenlik bağlamında, resmi yöntemler "kontrolü asla güvenli sınırları aşacak" veya "a saldırgan bir duruma giremeyecek şekilde hizmet verebilir."
Model Checking
Model kontrolü otomatik olarak, zamanlayıcı model kontrol edilen özellikleri doğrulamak için bir sistem modelinin tüm erişilebilir durumunu araştırır (örneğin, CTL, LTL). NuSMV, UPPAAL ve PRISM desteği ayrık, zamanlanmış ve olasılıksal modelleme protokolleri kontrol eder.For CPS, zamanlı otomat modelleri gerçek zamanlı kısıtlamalar yakalarken, olasılıksal saldırılar veya sensör gürültüsü analizlerine izin verir. Araştırmacılar, uçak çarpışmalarını önlemek için modelleme sistemlerini ve trafik sinyalizasyon protokollerini doğrulamayı tercih ederlerdi.
Theorem Proving
Teorem kanıtlıyor (örneğin, Coq, Isabelle/HOL veya PVS), bir sistemin güvenlik özelliklerini satisfieste ettiği kesin matematiksel kanıta sahiptir. Bu yaklaşım, son derece karmaşık sistemlere ölçeklendirir, ancak önemli bir insan rehberliği gerektirir.
2. Hybrid System Modeling
Hibrit sistemler ayrı ayrık devlet değişiklikleri birleştirir (örneğin, bir kapak açma) sürekli dinamiklerle (örneğin, sıvı akış oranları). Bu çift doğa CPS'ye temeldir: dijital kontrol sürekli fiziksel değişkenleri etkileyen ayrı kararlar verir. Hybrid Autoa ve hibrit tahvil grafikleri ortak modelleme formalizmdir.
Hem fiziksel bitki hem de siber kontrol ünitesini birlikte modellemek için, güvenlik analistleri, yanlış sinyaller üzerinde ortaya çıkan bir siber saldırının nasıl yanlış olduğunu ve karma modeli, frekans düzenlemesinin fiziksel sistem aracılığıyla ortaya çıktığını ortaya çıkarabilir. Örneğin, bir güç şebekesinin otomatik nesil kontrol döngüsündeki yanlış bir veri enjeksiyonu saldırı, sürekli olarak yasal sinyallerle modellenebilir ve karma model, bu tür saldırılar altında sabitlenir.
3. Graph-Based Modeller
Grafik modelleri CPS bileşenleri düğümler ve ilişkileri kenarlar olarak temsil eder. Bağlantıları yakalamaya, bağımlılıklara ve saldırı yönlendirme yollarına karşı öne çıkarırlar.
Saldırı Graphs
Saldırı grafiği, bir saldırganın hedef almak için kullanabileceği bir saldırı dizisi modelidir.Her bir node bir sistem devleti temsil eder (örneğin, "Breform 1'e ulaşma" ve devletler arasındaki geçiş eylemleri temsil eder. Otomatik saldırı grafiği, MulVAL gibi araçlar tüm olası yolları saldırıya uğratır.
Bağlanmalara bağlı
Bağımlılık grafikler, bileşenlerin birbirlerine nasıl güvendiğini haritalar: sensör X, kritik altyapıdaki etki değerlendirmesi için veri sağlar. Saldırı grafikleriyle birleştirildiğinde, bağımlılık grafikleri, hangi fiziksel süreçlerin tehlikeye atıldığını ortaya koyar.Bu özellikle de kritik altyapıdaki etki değerlendirmesi için değerli.
4. Model-Based Test
Model tabanlı test (MBT) otomatik olarak güvenlik-kırık davranışlarının kapsamını oluşturan test vakalarını kullanır. MBT, CPS protokolleri ve bileşenleri için test üretimi yapabilir.) Sertlik (sistemin geçersiz girişi yapar mı?), ve güvenlik (sistem belirli bir saldırı modellerine dayanabilir mi?)
Tehdit ve Risk Analizine Modelleme
Gelişmiş modelleme teknikleri doğal olarak oluşturulan tehdit modelleme çerçevelerine entegre eder, nicel rigor'u nitel değerlendirmelere sağlar.
Tehdit Çerçeveleri
STRIDE (Spoofing, Tampering, Repudiation, Information Disclosure, Service Denial of Service, Elevation of Privilege) ve PASTA (Spoofing, Fullpering, Repudiation, Information Disclosure, Denial of Service, Elevation of Privilege) ve PASTA (Operasyonel Analiz) sistem modellerinden faydalanmalarına izin verir. CPS-STRIDE, mevcut güvenlik kontrollerini kontrol edip kontrol etme konusunda bilgi sahibi olmak için resmi bir doğrulama kullanır.
Yüzey Analizi
Sistem modelleri saldırı yüzeyinin ölçülmesine yardımcı olur - bir saldırganın sistemle etkileşime girebileceği noktaların setleri. CPS için, bu ağ arabirimleri, fiziksel sensör girişleri, güncelleme mekanizmaları ve debugging portları içerir. Graph-based modeller saldırı sayısı, ortalama yol uzunluğu veya çoğu merkezi düğümler gibi metrikleri hesaplar hesaplar.
Simülasyon ve Güvenlik Geçerliliği için Emulation
Statik modeller tasarım açıklarını ortaya koyarken, simülasyon zaman ve dinamik davranışın boyutunu ekliyor. Gelişmiş CPS modelleme araçları, farklı domain-özel simülatörlerin her iki siber ve fiziksel etkilerini yakalamaya hazır olduğu yerde.
Co-simulation Environments
Ptolemy II, GENÇE, eş-simülasyon uzantıları ile ilgili çerçeveler ve HELICS güç şebeke simülasyonu için bir alt istasyonda iletişim kanalına saldırabilir ve simülasyonlu güç ızgaralarında frekans salınımlarını gözlemler.The IEEE Index of the smart grid applications.
Donanım-in-Loop ve Emulation
Donanım-in-the-loop (HIL) testi gerçek CPS kontrolörlerini bir simülasyona getirir, saha dağıtımından önce en gerçekçi geçerliliği sağlar. MiniCPS ve EmuLab gibi Emülasyon platformları, güvenli penetrasyon testlerini ve olay yanıtlarını sağlar. ABD Pasifik Bölgesi Ulusal Laboratuvarları, güç şebeke güvenlik araştırmalarından önce kapsamlı HIL tesislerini çalışır.
CPS Güvenlik Modelindeki Vaka Çalışmaları
Gerçek dünya uygulamaları, birçok kritik sektöre karşı güvenlik duruşunu geliştirmek için gelişmiş modelleme tekniklerinin gücünü göstermektedir.
Akıllı Şems
Kaliforniya Üniversitesi'ndeki araştırmacılar, yanlış veri enjeksiyonlarının güç sistemi devlet tahminlerine etkisini modellemek için hibrit otomatik otomatikleme kullandılar. Model, kötü-data algılama algoritmalarının tetiklenmesi olmadan bir saldırganın devlet tahminlerini sistematik olarak yönlendirebileceğini gösterdi.Bu analize dayanarak, fizik-informasyona dayalı yeni algılama mekanizmaları geliştirildi ve PowerWorld Simulator ile ortak-simülasyonu doğrulandı.
Özerk Araçlar
Model kontrolü, otonom araç kontrolörlerinin güvenli mesafelere sahip olduğunu ve sensörler kısmen uzlaşmaya gerek kalmadan trafik kurallarına uymalarını doğrulamak için uygulandı. UPPAAL modeli kontrol cihazı, GPS spoofing saldırıları altında bir platoon formasyon protokolünü doğrulamak için kullanıldı, bazı saldırı modellerinin neden cascading çarpışmalarına sebep olabileceğini ortaya koydu.
Endüstriyel Kontrol Sistemleri
Petrol ve gaz sektöründe, saldırı grafikleri ile birlikte bağımlılık grafiği, tek bir uzlaşmacının üç ayrı güvenlik aracılı işlevi etkileyebileceğini tespit etti. Modelleme egzersizi, kontrol mimarisinin yeniden tasarlanmasına yol açtı.
Future Yol ve Challenges
Önemli ilerlemeye rağmen, bazı zorluklar CPS güvenliği için gelişmiş modellemenin yaygın olarak kabul edilmesinde kalır.
- [FONT:0)C ⁇ karmaşıklığı: Büyük CPS'yi binlerce bileşen ve sürekli dinamikle kontrol etmek genellikle sürekli değildir. Abstraction teknikleri ve kompozisyonal doğrulama aktif araştırma alanlarıdır.
- [FONT=0) Model faability vs. traability:) çok fazla detay analiz etmek için imkansız modeller yapar; çok az detay, önemli saldırganları kaçırabilir. Mühendislerin hangileri içerecek karar vermeleri için prensiplenmiş yöntemlere ihtiyaç duyar.
- [FONT:0) Sistem yaşam döngüsü üzerinde modeller güncelleniyor: [CPS olarak CPS değiştirilebilir, modeller doğru kalmak için güncellenmelidir. Otomatik modelleme sistemleri yürütmekten gelen sistem geri çekilme umut verici bir yaklaşımdır.
- [FONT:0)Standartizasyon:[Dönetici: [Dönetici:0) Farklı modelleme araçları ve formalizm arasındaki fark sınırlı kalır. CPS Modeling için Açık Standart gibi girişimler ortak arayüzler oluşturmak için tasarlanmıştır.
Sistem modellemesi ile makine öğreniminin entegrasyonu yeni fırsatlar sunuyor: sinir ağları, anomali tespit için sistem dinamiklerini öğrenebilir, ancak resmi modeller öğrenme tabanlı kontrolörlerin güvenlik kısıtlamalarına sahip olduğunu doğrulayabilir.TheİLFLT:0)IEEE Systems Journal bu ortaya çıkan teknikler üzerinde kapsamlı anketler yayınladı.
Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç
Cyber-fiziksel sistemler, karmaşık etkileşimleri anlamak için gerekli olan bir disipline ihtiyaç duyar, gizli güvenlik ve çevre savunmaları. Gelişmiş sistem modelleme teknikleri - formasyonel yöntemler, hibrit modelleme, grafik tabanlı analiz ve ko-simülasyon - CPS güvenliklerinin geleceği reaktif karmaşık etkileşimleri anlamak için gerekli olan basit temel, gizli güvenlik ağları ve mühendislere dayanıklı sistemlere bağlı olarak, her kritik altyapı sektörüne genişleyen kuruluşlar, modelleme yeteneklerine yatırım yapan kuruluşlar daha iyi hazırlıklı olacaktır.