Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "weryfikacja bezpieczeństwa" wg kryterium: Temat


Wyświetlanie 1-15 z 15
Tytuł:
Weryfikacja poziomu nienaruszalności funkcji związanych z bezpieczeństwem
Integrity level verification for safety-related functions
Autorzy:
Śliwiński, M.
Powiązania:
https://bibliotekanauki.pl/articles/2069733.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
bezpieczeństwo funkcjonalne
weryfikacja bezpieczeństwa
nienaruszalność bezpieczeństwa
functional safety
safety verification
safety integrity
Opis:
This article describes methods for the safety integrity level (SIL) verification of safety-related functions with regard to probabilistic criteria given in international standards IEC 61508 and IEC 61511. These functions are realized using the electrical, electronic and programmable electronic (E/E/PE) systems or safety instrumented systems (SIS). Some methods are proposed for quantitative probabilistic modelling taking into account potential dependent failures in redundant systems with diverse channels within subsystems. The analyses of safety-related systems include testing and maintenance planning of subsystems, in particular the sensors and actuators with regard to the probabilistic criteria defined for given SIL. The methods are illustrated on some examples of systems from industrial hazardous plants.
Źródło:
Journal of Polish Safety and Reliability Association; 2011, 2, 3; 69--78
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using probabilistic automata for security protocols verification
Autorzy:
Siedlecka-Lamch, O.
Kurkowski, M.
Piątkowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/122825.pdf
Data publikacji:
2016
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
verification of security protocols
probabilistic methods
weryfikacja protokołów bezpieczeństwa
metody probabilistyczne
protokoły uwierzytelniania
Opis:
The article discusses the issues of modeling and the analysis of executions, which is a substantial part of modern communication protocols - authentication protocols, which are generally referred to herein as security protocols. The article presents a way of security protocols executions analysis with the use of probabilistic automata, without well known and widely used perfect cryptography assumption (we assume allowing the possibility of breaking a key with a specified probability). This type of analysis leads to interesting observations about the operation of the protocol and its weaknesses.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 2; 119-125
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Trivializing verification of cryptographic protocols
Autorzy:
Piątkowski, Jacek
Szymoniak, Sabina
Powiązania:
https://bibliotekanauki.pl/articles/38704303.pdf
Data publikacji:
2023
Wydawca:
Instytut Podstawowych Problemów Techniki PAN
Tematy:
security protocol verification
tree visualisation
hierarchical data structure
weryfikacja protokołu bezpieczeństwa
wizualizacja drzewa
hierarchiczna struktura danych
Opis:
One of the main problems of the digital world is information security. Every second, peopleprocess millions of pieces of information that must be protected from unauthorized access. Cryptographic protocols that define the communication plan and the cryptographictechniques used to secure the messages come to the rescue. These protocols should alsobe regularly verified regarding their ability to protect systems from exposure to threatsfrom the computer network. Bearing in mind the need to secure communication, verify thecorrect operation of security methods and process large amounts of numerical data, we decided to deal with the issues of modeling the execution of cryptographic protocols and theirverification based on the CMMTree model. In this article, we present a tool that verifiesa protocol’s security. The tool allows for modelling a protocol and verifying that the pathin the execution tree represents an attack on that protocol. The tool implements a specially defined hierarchy of protocol classes and a predicate that determines whether a nodecan be attached to a tree. We conducted a number of tests on well-known cryptographicprotocols, which confirmed the correctness and effectiveness of our tool. The tool foundthe attack on the protocols or built an execution tree for them.
Źródło:
Computer Assisted Methods in Engineering and Science; 2023, 30, 4; 389-406
2299-3649
Pojawia się w:
Computer Assisted Methods in Engineering and Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa SIL z wykorzystaniem autorskiej aplikacji ProSIL
ProSIL software system for computer aided safety integrity level verification
Autorzy:
Śliwiński, M.
Barnert, T.
Piesik, E.
Powiązania:
https://bibliotekanauki.pl/articles/269027.pdf
Data publikacji:
2013
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
modelowanie probabilistyczne
weryfikacja poziomu nienaruszalności bezpieczeństwa SIL
probabilistic modelling
safety integrity level (SIL) verification
Opis:
W referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA (moduł ProSIL/LOPA). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami PN-EN 61508 i PN-EN 61511.
In this article a prototype ProSIL software system for computer-aided functional safety management is discribed. The software consists of three modules for: determination of the required SIL level (ProSILen), verification of the SIL level (ProSILer), and layer of protection analysis (ProSIL/LOPA). In ProSIL the methods concerning functional safety analysis in the process of the design and operation of Safety Instrumented Systems (SIS) are implemented according to PN-EN 61508 and PN-EN 61511 standards, and some new methods.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2013, 36; 161-164
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
Autorzy:
Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/2106554.pdf
Data publikacji:
2020
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing
ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli
Opis:
The number of advanced driver assistance systems has increased dramatically in recent years. This led to a need for the development of testing methods to prove the quality and reliability of such systems. This publication presents an overview of the testing methods used in the automotive industry for the verification and validation of advanced driver assistance systems (ADAS), active safety, and autonomous driving systems. The first part presents the approach to X-in-the-loop testing such as model, software, hardware, etc., presenting the most interesting implementations. Then it discusses testing in proven areas like road traffic, artificial cities, and test tracks. The last part presents validation in the laboratory using both invasive and non-invasive methods based on virtual test drives, sensor stimulators and chassis dynamometers. Moreover, we identified the most promising approaches for the efficient verification and validation of ADAS, active safety and autonomous driving systems. Finally, we address some gaps in the research which require further investigation.
W ostatnich latach znacznie wzrosła liczba zaawansowanych systemów wspomagających kierowcę. Spowodowało to potrzebę opracowania metod testowania ich jakości i niezawodności. Artykuł przedstawia przegląd metod badawczych stosowanych w przemyśle motoryzacyjnym wykorzystywanych w weryfikacji i walidacji zaawansowanych systemów wspomagania kierowcy (ADAS), aktywnego bezpieczeństwa i systemów jazdy autonomicznej. W pierwszej części przedstawiono podejście do testów nazywanych testowaniem w pętli, takich jak model w pętli, oprogramowanie w pętli itd., prezentując najciekawsze implementacje. Następnie omówiono testy wykonywane na różnych terenach testowych, które mają udowodnić niezawodność i jakość systemu. Testowymi terenami mogą być tory testowe, sztuczne miasta czy drogi publiczne. W ostatniej części przedstawiono walidację wykonaną w laboratorium z wykorzystaniem metod zarówno inwazyjnych, jak i nieinwazyjnych, opartych na wirtualnych jazdach testowych, stymulatorach czujników i hamowniach podwoziowych. Ponadto zidentyfikowaliśmy najbardziej obiecujące podejścia do skutecznej weryfikacji i walidacji systemów ADAS, aktywnego bezpieczeństwa oraz jazdy autonomicznej. Na koniec wskazujemy potencjalne luki w tym temacie, które wymagają dalszych badań.
Źródło:
Mining – Informatics, Automation and Electrical Engineering; 2020, 58, 1; 19-27
2450-7326
2449-6421
Pojawia się w:
Mining – Informatics, Automation and Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
Autorzy:
Pietruch, Michał
Młyniec, Andrzej
Wetula, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/2106555.pdf
Data publikacji:
2020
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
ADAS
weryfikacja systemów aktywnego bezpieczeństwa
jazda autonomiczna
metody testowania
testowanie w pętli
ADAS validation
active safety systems verification
autonomous driving
testing methods in the loop testing
Opis:
W ostatnich latach znacznie wzrosła liczba zaawansowanych systemów wspomagających kierowcę. Spowodowało to potrzebę opracowania metod testowania ich jakości i niezawodności. Artykuł przedstawia przegląd metod badawczych stosowanych w przemyśle motoryzacyjnym wykorzystywanych w weryfikacji i walidacji zaawansowanych systemów wspomagania kierowcy (ADAS), aktywnego bezpieczeństwa i systemów jazdy autonomicznej. W pierwszej części przedstawiono podejście do testów nazywanych testowaniem w pętli, takich jak model w pętli, oprogramowanie w pętli itd., prezentując najciekawsze implementacje. Następnie omówiono testy wykonywane na różnych terenach testowych, które mają udowodnić niezawodność i jakość systemu. Testowymi terenami mogą być tory testowe, sztuczne miasta czy drogi publiczne. W ostatniej części przedstawiono walidację wykonaną w laboratorium z wykorzystaniem metod zarówno inwazyjnych, jak i nieinwazyjnych, opartych na wirtualnych jazdach testowych, stymulatorach czujników i hamowniach podwoziowych. Ponadto zidentyfikowaliśmy najbardziej obiecujące podejścia do skutecznej weryfikacji i walidacji systemów ADAS, aktywnego bezpieczeństwa oraz jazdy autonomicznej. Na koniec wskazujemy potencjalne luki w tym temacie, które wymagają dalszych badań.
The number of advanced driver assistance systems has increased dramatically in recent years. This led to a need for the development of testing methods to prove the quality and reliability of such systems. This publication presents an overview of the testing methods used in the automotive industry for the verification and validation of advanced driver assistance systems (ADAS), active safety, and autonomous driving systems. The first part presents the approach to X-in-the-loop testing such as model, software, hardware, etc., presenting the most interesting implementations. Then it discusses testing in proven areas like road traffic, artificial cities, and test tracks. The last part presents validation in the laboratory using both invasive and non-invasive methods based on virtual test drives, sensor stimulators and chassis dynamometers. Moreover, we identified the most promising approaches for the efficient verification and validation of ADAS, active safety and autonomous driving systems. Finally, we address some gaps in the research which require further investigation.
Źródło:
Mining – Informatics, Automation and Electrical Engineering; 2020, 58, 1; 28-36
2450-7326
2449-6421
Pojawia się w:
Mining – Informatics, Automation and Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Od Służby Bezpieczeństwa do Urzędu Ochrony Państwa
Autorzy:
Leśkiewicz, Rafał
Powiązania:
https://bibliotekanauki.pl/articles/608646.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Historii im. Tadeusza Manteuffla PAN w Warszawie
Tematy:
Urząd Ochrony Państwa
służby specjalne
Służba Bezpieczeństwa
transformacja
bezpieka
inwigilacja
weryfikacja
Agencja Bezpieczeństwa Wewnętrznego
organy Bezpieczeństwa Państwa
Ministerstwo Spraw Wewnętrznych
Opis:
Formal–legal Aspects of the Establishment of the Office for State ProtectionA statue on the Office for State Protection (Urząd Ochrony Państwa - UOP) was passed on 6 April 1990 upon a tide of transformations commenced by the Round Table debates held a year earlier. The implementation of this legal act is regarded as the date of the inauguration of shaping the special services of an independent Republic of Poland. The article attempts to describe the transformation of the communist state security organs - the Security Service of the Ministry of Internal Affairs - into a state protection service (such as the UOP). The characteristic feature of this process was its considerable dynamics, since in the course of only several months it achieved a formal conversion of the political police, which mainly combated the democratic opposition, into a social service whose domain of activity was totally different from that of its predecessor. The article called for an analysis of a process aiming at the establishment of new special services via a number of key formal–legal documents - the outcome of a sequence of political and organisational events. The sources on which the article is based are composed, first and foremost, of documents in the archives of the Institute of National Remembrance, and in particular material describing the transformation of the SB into the UOP and the verification of the functionaries, conducted in the spring of 1990. Supplementary material originates from the archive of the Chancellery of the Chairman of the Council of Ministers and legal acts pertaining to the described problem, i.a. laws, ordinances, and orders.
Źródło:
Dzieje Najnowsze; 2016, 48, 1
0419-8824
Pojawia się w:
Dzieje Najnowsze
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Eksperymentalna weryfikacja ograniczeń prędkości jazdy lekkich pojazdów szynowych w aspekcie przyjętych wskaźników bezpieczeństwa
Experimental verification of speed limits of the light rail vehicle in the aspect of safety indicators
Autorzy:
Gazdulski, Tomasz
Kominowski, Julian
Motyl, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/34584099.pdf
Data publikacji:
2014
Wydawca:
Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
Tematy:
lekki pojazd szynowy
ograniczenie prędkości
weryfikacja
wskaźniki bezpieczeństwa
light rail vehicle
speed limit
verification
safety indicators
Opis:
W niniejszym artykule dokonano konfrontacji odpowiedzi dynamicznej miejskiego lekkiego pojazdu szynowego podczas normalnej eksploatacji na wybranych odcinkach infrastruktury tramwajowej. Opisano cele i metodykę przeprowadzonych eksperymentów oraz przedstawiono ich zakres. Zaproponowano metodę sprawdzenia ograniczeń prędkości na podstawie których przewoźnik lub zarządca infrastruktury będzie mógł poddawać weryfikacji założonych ograniczeń prędkości, bezpośrednio wpływając na komfort i bezpieczeństwo jazdy.
In this paper confrontation of the dynamic response of light rail vehicle during the normal exploitation on the selected sections of the tram infrastructure is made. The aims and methodology of the carried out experiments are described as well as their range is presented. The method of checking the speed limits on which the carrier or the infrastructure manager will be able to verify the established speed limits, directly affecting the comfort and safety riding, are proposed.
Źródło:
Rail Vehicles/Pojazdy Szynowe; 2014, 2; 44-48
0138-0370
2719-9630
Pojawia się w:
Rail Vehicles/Pojazdy Szynowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zasady urzędowej weryfikacji systemu HACCP w łańcuchu żywnościowym
The principles of official verification of HACCP system in the food chain
Autorzy:
Kwiatek, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/22180818.pdf
Data publikacji:
2021
Wydawca:
Krajowa Izba Lekarsko-Weterynaryjna
Tematy:
system HACCP
zasady weryfikacji
żywność
bezpieczeństwo żywności
weryfikacja urzędowa
system bezpieczeństwa żywności
HACCP
food safety system
official control
Opis:
Application of HACCP system has been promoted for many years by public health organizations and food control authorities worldwide. Besides that, it was stated that constant assessment of implemented HACCP is essential for its efficacy. Taking this into account, the guideline for regulatory assessment of HACCP system was elaborated by Codex Alimentarius Commission, for international use. Based on this document, the article was worked out, to present essential activities, which have to be carried out, when assessing implemented HACCP, as a part of plant food safety management system and indicating how to perform these adequately.
Źródło:
Życie Weterynaryjne; 2021, 96, 04; 271-276, 278
0137-6810
Pojawia się w:
Życie Weterynaryjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pasikowski’s ‘Pigs’ as an Illustration of Vetting in a Transitional Society
Autorzy:
Grabarczyk, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/1153392.pdf
Data publikacji:
2021-03-30
Wydawca:
Stowarzyszenie Filozofii Prawa i Filozofii Społecznej – Sekcja Polska IVR
Tematy:
pasikowski’s pigs
security service
vetting
dealing with the past
transitional justice
decommunization
psy władysława pasikowskiego
służba bezpieczeństwa
weryfikacja
rozliczenia z przeszłością
sprawiedliwość tranzycyjna
dekomunizacja
Opis:
Pigs, a 1992 movie directed by Władysław Pasikowski, has become an iconic picture over the years, growing into a source of quotes and becoming a cult classic. The film, while remaining commercially attractive, outlines many problems within transitional justice and opens a discussion regarding the vetting of the SB officers carried out at that time, including the selected model. The plot of the film takes place in 1990, the period of political transformation in Poland after the fall of communism. Before the purely sensational action comes to the fore, the movie is largely about a reform of the MSW and the SB, about vetting of its officers and their fate while trying to find themselves in the new reality. It also shows that it is remarkably difficult to carry out reforms simultaneously in many fields: political, economic and social, and that it may be the source of a crisis. The aim of this article is to present Pasikowski’s Pigs as a film that demonstrates the practical issues related to one of the mechanisms used in the framework of transitional justice, namely the vetting process. The movie as an artistic representation of individuals subjected to vetting opens discourse on transitional justice and the problem of dealing with undemocratic system. The paper concentrates on a general outline of the movie, paying attention to the vetting committees and their function within the framework of transitional justice. While presenting the normative model of officers’ vetting and juxtaposing it with the image shown in the film, the author displays basic moral and social problems related to the vetting.
Psy, film z 1992 r. w reżyserii Władysława Pasikowskiego z biegiem lat stał się legendą polskiego kina, a także źródłem wielu cytatów i przedmiotem swoistego kultu. Psy, pozostając atrakcyjne komercyjnie, zarysowują także wiele problemów związanych z transformacją ustrojową, otwierając dyskusję dotyczącą przeprowadzonej wówczas weryfikacji oficerów SB. Akcja filmu rozgrywa się w 1990 roku, w okresie przemian ustrojowych w Polsce po upadku komunizmu. Zanim na pierwszy plan wysuwa się czysto sensacyjna akcja, film w dużej mierze opowiada o reformie MSW i SB, procedurze weryfikacji ich oficerów, a także o ich losach podczas próby odnalezienia się w nowej rzeczywistości. Film pokazuje przy tym, że niezwykle trudno jest przeprowadzić reformy jednocześnie na wielu płaszczyznach: politycznej, gospodarczej i społecznej, i że może to być źródłem kryzysu. Celem artykułu jest przedstawienie Psów Władysława Pasikowskiego jako filmu ukazującego praktyczne problemy jednego z mechanizmów stosowanych w ramach sprawiedliwości tranzycyjnej, jakim jest procedura weryfikacji. Film, jako artystyczna prezentacja sytuacja poszczególnych funkcjonariuszy poddanych weryfikacji jest punktem wyjścia do refleksji nad sprawiedliwością tranzycyjną i problemem rozliczeń z niedemokratycznym systemem. Artykuł koncentruje się na ogólnym zarysie filmu, ze szczególnym uwzględnieniem komisji kwalifikacyjnych i ich wykorzystania w ramach sprawiedliwości tranzycyjnej. Przedstawiając normatywny model weryfikacji oficerów SB i zestawiając go z obrazem przedstawionym w filmie, autor ukazuje podstawowe problemy moralne i społeczne związane z tego typu mechanizmami.
Źródło:
Archiwum Filozofii Prawa i Filozofii Społecznej; 2021, 1(26); 100-111
2082-3304
Pojawia się w:
Archiwum Filozofii Prawa i Filozofii Społecznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Koniec imperium MSW : transformacja organów bezpieczeństwa państwa 1989-1990
Autorzy:
Kozłowski, Tomasz (1984- ).
Współwytwórcy:
Instytut Pamięci Narodowej - Komisja Ścigania Zbrodni przeciwko Narodowi Polskiemu. Instytucja sprawcza Wydawca
Data publikacji:
2019
Wydawca:
Warszawa : Instytut Pamięci Narodowej. Komisja Ścigania Zbrodni Przeciwko Narodowi Polskiemu
Tematy:
Ministerstwo Spraw Wewnętrznych (Polska ; 1954-1996)
Służba Bezpieczeństwa (SB ; Polska)
Urząd Ochrony Państwa (Polska)
Reforma
Służby specjalne
Transformacja systemu społeczno-gospodarczego
Weryfikacja kadr
Monografia
Opis:
Na stronie przytytułowej: Rok 1989 - mechanizmy transformacji ustrojowej.
Bibliografia na stronach 302-316. Indeks.
Dostawca treści:
Bibliografia CBW
Książka
    Wyświetlanie 1-15 z 15

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies