A model of distributed key generation for industrial control systems

11th International Workshop on Discrete Event Systems, WODES 2012; Guadalajara, Jalisco; Mexico; 3 October 2012 through 5 October 2012The cyber-security of industrial control systems (ICS) is gaining high relevance due to the impact of industrial system failures on the citizen life. There is an urgent need for the consideration of security in their design, and for the analysis of the related vulnerabilities and potential threats. The high exposure of industrial critical infrastructure to cyber-threats is mainly due to the intrinsic weakness of the communication protocols used to control the process network. The peculiarities of the industrial protocols (low computational power, large geographical distribution, near to real-time constraints) make hard the effective use of traditional cryptographic schemes and in particular the implementation of an effective key management infrastructure supporting a cryptographic layer. In this paper, we describe a "model of distributed key generation for industrial control systems" we have recently implemented. The model is based on a known Distributed Key Generator protocol we have adapted to an industrial control system environment and to the related communication protocol (Modbus). To validate in a formal way selected security properties of the model, we introduced a Petri Nets representation. This representation allows for modeling attacks against the protocol and understanding some potential weaknesses of its implementation in the industrial control system environment

Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets

Abstract. In distributed systems, it is often important that a user is not able to infer if a given action has been performed by another component, while still being able to interact with that component. This kind of problems has been studied with the help of a notion of "interference" in formal models of concurrent systems (e.g. CCS, Petri nets). Here, we propose several new notions of interference for ordinary Petri nets, study some of their properties, and compare them with notions already proposed in the literature. Our new notions rely on the unfolding of Petri nets, and on an adaptation of the "reveals" relation for ordinary Petri nets, previously defined on occurrence nets, and on a new relation, called "excludes", here introduced for detecting negative information flow

Eskişehir 112 İl Ambulans Servisi Çalışanlarında Bel Ağrısı ve Algılanan Stres Düzeylerinin Değerlendirilmesi

Amaç: Çalışmada hastane öncesi acil sağlık hizmetleri (HÖASH) çalışanlarında en sık görülen kas-iskelet problemlerinden biri olan bel ağrısının ve algılanan stresin değerlendirilmesi amaçlanmıştır. Gereç ve Yöntemler: Kesitsel tipteki bu çalışmada Eskişehir’deki HÖASH çalışanlarının %77,5’ine (n=378) ulaşıldı. Fonksiyonel Bel Ağrısı Skalası (FBAS) ve Algılanan Stres Ölçeği (ASÖ) kullanıldı. İstatistiki değerlendirmede Mann Whitney U, Kruskal Wallis, Spearman korelasyon ve binomial lojistik regresyon analizleri kullanılmıştır. Bulgular: Çalışma grubunu oluşturanların %55,1’i (n=205) kadın olup yaş ortalaması ± SS 32,15 ± 7,52 yıl idi. Çalışanların %76,6’sı son 1 yılda bel ağrısı şikayeti olduğunu belirtti. Bel ağrısı riski, ön lisans ve üzeri öğrenim düzeyi olanlarda lise ve altına göre 1,97 (%95 GA; 1,07-3,62), sağlık sektöründe 6-10 yıl ve 11 yıl üzeri çalışanlarda 5 yıl ve daha az çalışanlara göre sırasıyla 3,46 (%95 GA; 1,66-7,22) ve 5,33 (%95 GA; 2,52-11,27), 24 saat çalışanlarda 24 saatten az çalışanlara göre 3,65 (%95 GA; 1,83-7,26), anne, baba ve kardeşlerinde bel ağrısı olanlarda olmayanlara göre 2,13 (%95 GA; 1,19-3,80) ve algılanan stres düzeyleri yüksek olanlarda düşük olanlara göre 1,11 kat (%95 GA; 1,03- 1,20) daha fazlaydı. Genel sağlık durumunu iyi algılayanlarda orta ve kötü algılayanlara göre bel ağrısı 0,16 kat (%95 GA; 0,04-0,58) daha az olarak bulundu. HÖASH çalışanlarının ASÖ ve FBAS’dan aldıkları puanlar arasında negatif yönde zayıf bir ilişki bulundu (r=-0,186, p<0,001). Sonuç: HÖASH çalışanları için bel ağrısı oldukça önemli bir sorundur. Personelin çalışma şartlarında iyileştirmeler yapılmasının ve ergonomi eğitimlerinin düzenlenmesinin yararlı olacağı kanısına varıldı