Artykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...

W rozdziale przedstawiona została koncepcja kompleksowego zarządzania niezawodnością i bezpieczeństwem złożonej maszyny krytycznej w oparciu o analizy i oceny ryzyka prowadzone na podstawie metod wykorzystujących modele probabilistyczne. Istotne są tu parametry modelu, takie jak: intensywność uszkodzeń elementów składowych, intensywność odnowy, pokrycie diagnostyczne, czas pomiędzy prowadzeniem testów i inne, w zależności od specyfiki...

Przedstawiono problemy bezpieczeństwa sieciowego z uwzględnieiem metod szacowania i oceny bezpieczeństwa w skali lokalnej i globalnej. Podano przykłady analizy 3 systemów wraz z wnioskami oraz sugestie dotyczące trendów przyszłościowych.

Referat jest podsumowaniem dziesięciu lat prac wdrożeniowych Krajowego Programu Bezpieczeństwa Ruchu Drogowego GAMBIT. Zawiera opis przedsięwzięć z zakresu poprawy bezpieczenstwa na drogach, począwszy od zmian legislacyjnych, po działania inżynierskie.

Sonary wielowiazkowe wykorzystanee byc moga do poprawy bezpieczenstwa zeglugi na obszarach wod plytkich. Dzieki istotnej poprawie rozdzielczosci horyzontalnej i wertykalnej pomiarow zastosowane byc moga do obrazowania wod plytkich szczegolnie niebezpiecznych pod wzgledem nawigacyjnym.