Weryfikacja poziomów nienaruszalności bezpieczeństwa z uwzględnieniem aspektów ochrony informacji

• Autorzy: Śliwiński M. , Barnert T. , Piesik E.

Warianty tytułu

EN

Security aspects in verification of the safety integrity level

• Konferencja: Zastosowanie komputerów w nauce i technice 2014 (XXIV; 2014; Gdańsk, Polska)
• Języki publikacji: PL

Abstrakty

PL

Poszczególnym poziomom SIL projektowanego systemu elektrycznego/elektronicznego/programowalnego elektr onicznego E/E/PE (BPCS lub SIS) odpowiadają ilościowe kryteria probabilistyczne. Dowód spełnienia przez system zabezpieczeń wymagań SIL nazywa się weryfikacją. Model probabilistyczny dowolnego systemu zabezpieczeń SIS można przedstawić za pomocą schematów blokowych niezawodności RBD, grafów Markowa, równań uproszczonych oraz drzew niezdatności FTA. W niniejszym referacie przedstawiono wykorzystanie metod (w ramach aktualizacji metodyki analiz bezpieczeństwa funkcjonalnego) weryfikacji SIL z uwzględnieniem zagadnień ochrony informacji m.in. poprzez wykorzystanie w tym procesie poziomów uzasadnionego zaufania EAL, lub przypisaniu analizowanemu systemowi stopnia ochrony informacji na podstawie liczby pierścieni zabezpieczeniowo ochronnych wg metodyki SeSa - SINTEF, wraz z uwzględnieniem klasyfikacji systemów rozproszonych, w module weryfikacji SIL autorskiego oprogramowania ProSILEAL.

EN

The article addresses some important issues of the functional safety analysis, namely the safety integrity level (SIL) verification of distributed control and protection systems with regard to security aspects. A quantitative method for SIL (IEC 61508, 61511) verification, based on so called evaluation assurance levels (EAL) and Secure Safety (SeSa) methodology, is presented. In this article is described a prototype ProSIL-EAL software system for computer-aided functional safety management. In ProSIL-EAL the methods (e.g. veryfying the SIL level of SIS) concerning functional safety analysis in the process of the design and operation of Safety Instrumented Systems (SIS) with security aspects are implemented according to PN-EN 61508, PN-EN 61511, ISO/IEC 15408 standards and SeSa - SINTEF methodology.

Słowa kluczowe

PL

SIL; EAL; SeSa; modelowanie; weryfikacja

EN

safety integrity level (SIL); evaluation assurance level (EAL); SeSa; probabilistic modelling; verification

• Wydawca: Wydział Elektrotechniki i Automatyki Politechniki Gdańskiej
• Czasopismo: Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
• Rocznik: 2014
• Tom: Nr 40
• Strony: 107--110
• Opis fizyczny: Bibliogr. 9 poz., rys., wykr.

Twórcy

autor

Śliwiński M.

• Politechnika Gdańska, ul. G. Narutowicza 11/12, 80-952 Gdańsk

autor

Barnert T.

• Politechnika Gdańska, ul. G. Narutowicza 11/12, 80-952 Gdańsk

autor

Piesik E.

• Politechnika Gdańska, ul. G. Narutowicza 11/12, 80-952 Gdańsk

Bibliografia

• 1. Barnert T., Śliwiński M.: Bezpieczeństwo funkcjonalne i ochrona informacji w obiektach i systemach infrastruktury krytycznej, Nowoczesne systemy łączności i transmisji danych na rzecz bezpieczeństwa, str. 476-507. Wolters Kluwer, 2013.
• 2. Barnert T., Kosmowski K.T., Śliwiński M.: Integrated functional safety and security analysis of process control and protection systems with regard to uncertainty issues. PSAM, Seattle, USA, 2010.
• 3. Śliwiński M., Barnert T., Piesik E.: Wspomagana komputerowo weryfikacja poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL, ZNWEiA PG Nr 36, Gdańsk 2013.
• 4. IEC 61511:2015 Ed.2: Functional safety – Safety instrumented systems for the process industry sector.
• 5. ISO/IEC 15408:1999: Information technology – Security techniques – Evaluation criteria for IT security Part 1÷3.
• 6. PN-EN 61508:2010. Bezpieczeństwo funkcjonalne elektrycznych/elektronicznych/programowalnych elektronicznych systemów związanych z bezpieczeństwem. Części 1-7. PKN.
• 7. Projekt VI.B.10: Opracowanie metod i narzędzi do wspomagania procesu zarządzania bezpieczeństwem funkcjonalnym i ochroną informacji, Gdańsk 2013.
• 8. SINTEF.: The SeSa method for assessing secure remote access to safety instrumented systems. A1626, 2007.
• 9. Reliability Data for Safety Instrumented Systems - PDS Data Handbook. SINTEF 2010 Edition.