Filters
total: 289
filtered: 186
-
Catalog
Chosen catalog filters
Search results for: bezpieczenstwo
-
Bezpieczenstwo transportu drogowego - podsumowanie
PublicationPodsumowanie rozdziału 2: bezpieczenstwo transportu drogowego
-
Bezpieczenstwo żeglugi pasażerskiej na Zatoce Gdańskiej, jako część składowa produktu turystycznego
PublicationCelem pracy jest analiza zjawiska bezpieczenstwo żeglugi pasażerskiej na Zatoce Gdańskiej, jako części składowej produktu turystycznego
-
Performance and Security Testing of Distributed Applications Working in Public/Private IPSec and HTTPS Environments
PublicationW pracy przedstawiono zagadnienie testowania wydajności (ang. Performance) i bezpieczeństwa (ang. Security) aplikacji rozproszonych działających w sieciach publiczno-prywatnych stworzonych przy wykorzystaniu technologii IPSec i HTTPS. Dwa podejścia do architektury oprogramowania tych aplikacji zostały omówione: Request/Response oraz Publish/Subscribe. Analiza zawiera przedstawienie wpływu technologii IPSec i HTTPS na całkowitą...
-
Multidimensional Approach to Quality Analysis of IPSec and HTTPS Applications
PublicationNiniejsza praca omawia aspekty bezpieczeństwa i wydajności aplikacji rozproszonych działających w środowisku sieci publiczno-prywatnych, stworzonych za pośrednictwem technologii IPSec i HTTPS. Jako przykłady implementacji pokazane są: jeden z największych polskojęzycznych portali motoryzacyjnych: www.auto.gda.pl oraz brama IPSec działająca w środowisku ATCA. Przedstawiona w referacie analiza pod kątem wydajności i bezpieczeństwa...
-
System wspomagający zarządzanie Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki GdańskiejW : Perspektywy Rozwoju e-Uczelni w Kontekście Globalnej Informatyzacji; - e-uczelnia, konferencja krajowa; 14-15 maja 2009, Gdańsk. - [skrypt prezentacji]
PublicationW artykule przedstawiono założenia projektowe, architekturę i implementację systemu przeznaczonego do wspomagania zarządzania wydziałem wyższej uczelni. System jest realizowany dla Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, w technologiach typu open-source. Artykuł opisuje poszczególne komponenty systemu oraz aspekty technologiczne jego budowy. Opisano założenia przyjęte na początku projektu, architekturę...
-
Ograniczenie przyspieszeń działających na dziecko w trakcie zderzenia poprzez udoskonalenie konstrukcji fotelika samochodu
PublicationPrzedstawiono przegląd dostępnych na naszym rynku fotelików do przewozu dziecka w samochodzie. Zaprezentowano fotelik zaprojektowany przez autora i wdrożony do produkcji. Podano plan opracowania konstrukcyjnego fotelika z samonośną kołyską z innowacyjnym mocowaniem systemem. Przedstawiono stan zaawansowania pracy tej pracy.
-
System wspomagający zarządzanie Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej
PublicationW artykule przedstawiono założenia projektowe, architekturę i implementację systemu przeznaczonego do wspomagania zarządzania wydziałem wyższej uczelni. System jest realizowany dla Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, w technologiach typu open-source. Artykuł opisuje poszczególne komponenty systemu oraz aspekty technologiczne jego budowy. Opisano założenia przyjęte na początku projektu, architekturę...
-
Further developments of parameterization methods of audio stream analysis for secuirty purposes
PublicationThe paper presents an automatic sound recognition algorithm intended for application in an audiovisual security monitoring system. A distributed character of security systems does not allow for simultaneous observation of multiple multimedia streams, thus an automatic recognition algorithm must be introduced. In the paper, a module for the parameterization and automatic detection of audio events is described. The spectral analyses...
-
Architektury systemów informatycznych wspomagających rozwój e-uczelni
PublicationPrzedstawiono charakterystykę podstawowych kategorii architektur systemów informatycznych. Zaprezentowano koncepcję środowiska zintegrowanego e-uczelni opartą na architekturze zorientowanej na usługi dostępne dla poszczególnych kategorii użytkowników. Uzasadniono wybór takiego podejścia oraz przeanalizowano aspekty bezpieczeństwa. Omówiono również zasady integracji istniejących już systemów.
-
Współczesne wyzwania dla rozwoju systemów bezpieczeństwa tarnsportu
PublicationRozdział I: Współczesne wyzwania dla rozwoju systemów bezpieczeństwa transportu.1.1 Prawo do bezpieczeństwa1.2 Kultura bezpieczeństwa1.3 Polityka bezpieczeństwa1.4 Podsumowanie
-
Problemy bezpieczeństwa informacji w środowisku przetwarzania wszechobecnego
PublicationPrzetwarzanie wszechobecne jest dziedziną informatyki, któracoraz szerzej zaczyna pojawiać się w życiu przeciętnego człowieka, ułatwiając mu wykonywanie codziennych czynności. Przedstawiono pryncypia mechanizmów bezpieczeństwa, które należy bra pod uwagę przy implementacji tego typu systemu. Pokrótce opisano ideę przetwarzania wszechobecnego oraz aplikacji agentowych. Omówiono najważniejsze mechanizmy zabezpieczeń komunikacji...
-
Wprowadzenie: Niebezpieczeństwo w transporcie
PublicationRozdział I: Wprowadzenie1.1 Niebezpieczeństwo transportu w Polsce1.2 Projekt Zintegrowanego Systemu Bezpieczeństwa1.3 Niezależność badań bezpieczeństwa transportu1.4 Podsumowanie
-
Metody zapewnienia bezpieczeństwa w aplikacjach przetwarzania nieustajacego
PublicationPrzedstawiono wybrane problemy bezpiecze«stwem systemówprzetwarzania ustawicznego z uwzględnieniem kontekstu. Zwrócono uwagęna wiarygodność kontekstu oraz ochronę prywatności. Omówiono także wybrane metody zapewniania bezpieczeństwa w poszczególnych warstwach modelu przetwarzania ustawicznego.
-
Analiza miar narażenia na ryzyko w ruchu drogowym
PublicationNarażenie na ryzyko jest elementem składowym ryzyka społecznego. W artykule przedstawiono analizę miar narażenia na ryzyko w ruchu drogowym. Przedstawiono ewolucję definicji narażenia na ryzyko w ruchu drogowym, a następnie scharakteryzowano najczęściej stosowane i proponowane do analizy miary narażenia na ryzyko. Wykorzystując analizę regresji korelacji określono siłę współzależności pomiędzy piętnastoma miarami narażenia na ryzyko,...
-
Zagrożenia realizacji usług multimedialnych w systemach z sygnalizacją SIP
PublicationW pracy dokonano klasyfikacji powszechnych zagrożeń bezpieczeństwa w protokole SIP (RFC 3261). Opisano ataki wynikające ze słabości sieci IP jako głównego środowiska dla protokołu SIP oraz ataki wynikające ze sposobu działania protokołu SIP. Zidentyfikowano możliwość ich przeprowadzenia na produkcyjnych platformach SIP.
-
Architektura zintegrowanego środowiska usług wspomagających funkcjonowanie uczelni
PublicationZaprezentowano koncepcję środowiska zintegrowanego e-uczelni. Przedstawiono architekturę zorientowaną na usługi dostępne dla poszczególnych kategorii użytkowników. Uzasadniono wybór takiego podejścia oraz przeanalizowano aspekty bezpieczeństwa. Omówiono również zasady integracji istniejących już systemów.
-
Generalized access control in hierarchical computer network
PublicationThe paper presents the design of the security layer for a distributed system located in the multizone hierarchical computer network. Depending on the zone from which a client’s request comes to the system and the type of the request, it will be either authorized or rejected. There is one common layer for the access to all the business services and interactions between them. Unlike the commonly used RBAC model, this system enforces...
-
Koncepcja metody zarządzania ryzykiem w transporcie
PublicationZałożenia do integracji metod zarządzania ryzykiem. Koncepcja integracji terminologii. Koncepcja zintegrowanej metody zarządzania ryzykiem.
-
Algorithms for processing and visualization of Critical Infrastructure security data as well as simulation and analysis of threats = Algorytmy przetwarzania i wizualizacji danych dotyczących bezpieczeństwa infrastruktur krytycznych oraz symulacji i analizy zagrożeń
PublicationRozprawa traktuje o algorytmach przetwarzania danych dotyczących różnego rodzaju zagrożeń, w szczególności wyników analiz ryzyka infrastruktur krytycznych, pozwalających na przestrzenną analizę tych danych w kontekście geograficznym za pomocą dedykowanego Systemu Informacji Przestrzennej. Prezentowane metody analizy zgrupowań Infrastruktur Krytycznych oraz propagacji ich zagrożeń wykorzystują wyniki syntetycznej analizy podatności...
-
Zarządzanie kryzysowe w portach morskich
PublicationZapewnienie szeroko pojętego bezpieczeństwa kompleksów portowo-przemysłowych staje się, w aspekcie występowania wielu różnorodnych zagrożeń, jednym z zadań strategicznych dla zarządów portów i kierownictw przedsiębiorstw zlokalizowanych w portach. Działania na rzecz bezpieczeństwa portów, obejmują nie tylko przestrzenie portowe, ale mają także zasięg: lokalny, regionalny, krajowy i międzynarodowy. Powoduje to, że stanowią one ważny...
-
IV program brd Unii Europejskiej : Bezpieczeństwo ruchu drogowego prawem i obowiązkiem każdego obywatela
PublicationW maju 2007r. Minister Nauki i Szkolnictwa Wyższego powierzył Konsorcjum Naukowemu, kierowanemu przez Politechnike Gdańską, realizacje trzyletniego projektu Badawczego pt. ''Zintegrowany system bezpieczeństwa transportu''. Projektowi nadano akronim ZEUS. Głównym celem projektu jest stworzenie przez badania naukowe merytorycznych podstaw dla rozwoju integracji bezpieczeństwa transportu w Polsce, traktując tę integrację jako warunek...
-
Atlas ryzyka na drogach krajowych w Polsce
PublicationEuropejski ''Program oceny ryzyka na drogach'' jest jedną z inicjatyw wspierających realizację ''wizji zero''. Program ma na celu przeprowadzenie badań ryzyka panującego na drogach krajów Unii Europejskiej, korzystając z jednolitej metodyki. Wyniki tych badań mają posłużyć do metodycznej oceny poziomu zagrożenia zdrowia i życia w ruchu drogowym. W chwili obecnej program ten realizuje ponad 30 krajów Europy, a kilka nastepnych zamierza...
-
Zarządzanie mobilnością i modalnością w aspekcie bezpieczeństwa transportu
PublicationIstota zarządzania mobilnością. Strategiczne kierunki zarządzania mobilnością a bezpieczeństwo transportu. Przewozy multimedialne jako czynnik poprawy bezpieczeństwa transportu.
-
Management of seaport critical infrastructures of integrated sea-land transport chains
PublicationW morsko-lądowych łańcuchach transportowych logistyczne procesy integracyjne przebiegają pomiędzy trzema podstawowymi ogniwami: żeglugą morską, portami morskimi i transportem zaplecza. W tym ujęciu morsko-lądowe łańcuchy transportowe, które stanowią przestrzenno-czasową kombinację lądowych i morskich ogniw transportowych, stają się także najwyższą formą integracji portów i żeglugi z innymi gałęziami transportu, wymagającą stałego...
-
Inspekcje bezpieczeństwa ruchu drogowego
PublicationInspekcja drogowa prowadzona pod kątem bezpieczeństwa ruchu drogowego jest narzędziem pozwalającym na identyfikowanie mankamentów sieci drogowej. W artykule przedstawiono ogólne założenia wykonywania inspekcji i jej cele oraz wskazano inspekcję jako element oceny zagrożenia na drogach. Na podstawie inspekcji drogi wojewódzkiej przedstawiono przykłady problemów dotyczących jakości sieci drogowej oraz opisano procedurę wyboru najbardziej...
-
Europejski atlas ryzyka na drogach
PublicationW maju 2008r. FRIL, PZM i PG włączyły się w realizację 3-letniego Projektu ''Europejski atlas bezpieczeństwa ruchu drogowego'' realizowanego w ramach Programu Euro-RAP przy wsparciu Komisji Europejskiej. Pod przewodnictwem EuroRAP zespoły z 10 państw opracowują krajowe Mapy ryzyka na drogach: Niemiec, Hiszpanii, Holandii, Belgii, szwecji, Wielkiej Brytanii, Włoch, Słowacji, Czech i Polski. Mapy krajowe po połączeniu utworzą Europejski...
-
Przestrzenne modelowanie i analiza elementów infrastruktur krytycznych w kontekście badania propagacji zagrożeń na terenie miasta Gdańska
PublicationArtykuł omawia wyniki badań nad metodami przestrzennych analiz zagrożeń terrorystycznych na terenie miasta Gdańska, przeprowadzonych w ramach współpracy pracowników Katedry Systemów Geoinformatycznych wydziału ETI PG z przedstawicielami Wydziału Zarządzania Kryzysowego i Ochrony Ludności Urzędu Miejskiego w Gdańsku. W artykule przedstawione zostały wyniki zastosowania istniejących algorytmów modelowania zagrożeń atakiem bombowym...
-
Ocena zagrożenia na sieci dróg na podstawie doświadczeń programu EuroRAP
PublicationW artykule przedstawiono syntezę technik stosowanych w ramach programu EuroRAP i innych podobnych, przy ocenie zagrożenia w ruchu drogowym. Przedstawione zostały metody automatyzacji procesu zbierania danych i metodyka klasyfikacji dróg pod kątem bezpieczeństwa
-
Ocena wpływu projektów infrastruktury drogowej na bezpieczeństwo ruchu w sieci dróg
PublicationRegulacje UE dążą do wprowadzenia jednolitej metodyki zarządzania bezpieczeństwem ruchu drogowego i zobowiązują państwa członkowskie do przeprowadzenia ocen wpływu na bezpieczeństwo ruchu drogowego oraz audytu bezpieczeństwa ruchu drogowego projektów infrastruktury drogowej. Na drogach krajowych w Polsce obowiązuje już wykonywanie takich ocen w ramach studiów korytarzowych. Pilną potrzebą staje się opracowanie i wdrożenie instrukcji...
-
Techniki audytowania zabezpieczeń sieci bezprzewodowej z wykorzystaniem systemów klasy grid
PublicationZaprezentowano efektywne zasady weryfikacji zabezpieczeń sieci bezprzewodowych z wykorzystaniem oprogramowania Back/Track w dystrybucji systemu Linux. Omówiono algorytmy RC4, MIC i AES, które wspierają techniki zabezpieczeń WEP, WPA i WPA2 wchodzące w skład protokołu IEEW 802.11. Zamieszczano także opis wykorzystania systemu rozproszonego Comcute o architekturze typu grid do prowadzenia audytu bezprzewodowej sieci.
-
Bezpieczeństwo transferu zestrukturalizowanych plików xml w sieci grid w oparciu o usługi web service poprzez protokół soap
PublicationNiezależny protokół SOAP (ang. Simple Object Access Protocol) działający głównie ponad protokołem HTTP (inne protokoły transportowe to np. MSMQ, MQ Series, SMTP lub TCP/IP) posiada na dzień dzisiejszy wiele rozwiązań dotyczących bezpieczeństwa transferu zestrukturalizowanych plików XML (ang. Extensible Markup Language). W rozdziale zaprezentowano sposoby zapobiegania nieautoryzowanym dostępom do danych przesyłanych w sieci grid...
-
Systematyka narzędzi do zarządzania bezpieczeństwem infrastruktury drogowej
PublicationW ostatnich latach w zarządzaniu bezpieczeństwem ruchu drogowego pojawiło się kilka narzędzi takich jak audyt brd, ocena brd, kontrola brd. Dyskusja prowadzona podczas procedowania ustawy wdrażającej dyrektywę 2008/96/WE wskazała na nieznajomość wśród przedstawicieli stron biorących udział w dyskusji, narzędzi zarządzania bezpieczeństwem infrastruktury drogowej. W artykule przedstawiono koncepcję usystematyzowania tych narzędzi...
-
Mechanizmy bezpieczeństwa w systemie Comcute
PublicationWyróżniono podstawowe problemy związane z bezpieczeństwem przetwarzania w systemie utrzymania wielkiej mocy obliczeniowej w sytuacjach kryzysowych Comcute. Ponadto na przykładzie architektury systemu modelowego przedstawiono mechanizmy bezpieczeństwa przydatne do zastosowania w projekcie.
-
Propagacja i synchronizacja obliczeń między węzłami
PublicationPrzedstawiono opis funkcjonalności niezależnych węzłów systemu Comcute zajmujących się przyjmowaniem zadań obliczeniowych, partycjonowaniem i rozsyłaniem zadań oraz synchronizacją wyników. Dzięki samoorganizacji grup węzłów zapewniono nie tylko wysoką wydajność obliczeń, ale również odporność na ataki ukierunkowane na poszczególne węzły, tak że system zachowuje zdolność obliczeniową nawet wówczas, gdy sprawny pozostanie tylko jeden...
-
Analiza obciążeń dynamicznych działających na dzieci w fotelikach samochodowych na podstawie wyników testów zderzeniopwych
PublicationW pracy omówiono najważniejsze funkcje fotelika samochodowego. wykonano analizę wybranych obciążeń dynamicznych działających działających na pasażerów samochodu w trakcie kolizji. Szczególną uwagę zwrócono na dzieci zamocowane w fotelikach.
-
Ttrans-risk - an integrated method for risk management in transport =Trans-risk - zintegrowana metoda zarządzania ryzykiem w transporcie
PublicationPodjęto już wiele prób integracji metod zarządzania ryzykiem w innych dziedzinach życia. Przegląd metod zarządzania ryzykiem w poszczególnych gałęziach transportu wskazuje na dość duże rozbieżności terminologiczne i dotyczące szczegółowych zasad i zastosowań metod zarządzania ryzykiem. Istnieje zatem konieczność podjęcia próby integracji metod zarządzania ryzykiem w transporcie. Niniejsza praca jest wynikiem działań interdyscyplinarnego...
-
Strategic risk measures in road traffic = Miary ryzyka strategicznego w ruchu drogowym
PublicationRyzyko strategiczne jest ryzykiem długookresowym, związanym z podejmowaniem decyzji długofalowych, przez instytucje zarządzające bezpieczeństwem ruchu drogowego na analizowanym obszarze. Ryzyko strategiczne na sieci dróg wybranego kraju jest niepewnością dotyczącą realizacji celu strategicznego, jakim jest ochrona życia i zdrowia uczestników ruchu drogowego. Istotnymi problemami w szacowaniu ryzyka w inżynierii ruchu drogowego...
-
Extended generalized blockmodeling for compound communities and external actors
PublicationNiektóre sieci społeczne wykazują się specyficzną strukturą wewnętrzną. W artykule rozpatrujemy społeczności, które składają się z mniejszych wspólnot. Takie społeczności nazywamy społecznościami złożonymi. Dla takich struktur zastosowalismy metodę ogólnego modelowania blokowego proponując odpowiednie rozrzerzenia dla tej metody. Wzięliśmy pod uwagę specyfikę złożonych struktur społecznych oraz ich relacje z aktorami zewnętrznymi...
-
Porty morskie jako element infrastruktury krytycznej łańcucha dostaw
PublicationW morsko-lądowych łańcuchach transportowych logistyczne procesy integracyjne przebiegają pomiędzy trzema podstawowymi ogniwami: żeglugą morską, portami morskimi i transportem zaplecza. Porty są bardzo ważnym elementem międzynarodowego łańcucha dostaw. Jako punkty początkowe i końcowe transportu morskiego są integralną częścią łańcucha transportowego, jak również miejscem działalności związanej z handlem i żeglugą morską oraz centrami...
-
Zapewnianie bezpieczeństwa kluczowych plików w systemie operacyjnym Linux
PublicationZagrożenie bezpieczeństwa systemów komputerowych wynika z możliwości niepowołanego dostępu do danych zapisanych w kluczowych plikach. Dlatego poszukiwanie mechanizmów zapewniania bezpieczeństwa informacji to współcześnie ważny problem w dziedzinie informatyki. W artykule zostanie przedstawione nowe podejście do polityki zabezpieczania plików systemowych w komputerach personalnych i serwerach. Zaprezentowany zostanie system o nazwie...
-
Analiza zachowań tłumu w multimedialnym systemie bezpieczeństwa
PublicationW niniejszym referacie zawarto opis metody detekcji zachowań tłumu na podstawie analizy obrazu. Koncepcja docelowego wykorzystania to wspomaganie pracy operatorów w systemach monitoringu, w szczególności podczas imprez masowych, np. na stadionach wyposażonych w wiele kamer. Celem opracowanej metody jest wykrywanie normalnych oraz potencjalnie niebezpiecznych zachowań tłumu, takich jak: panika, kierunkowy ruch masy ludzi, czy gromadzenie...
-
Static and dynamic approach of social roles identification using PISNA and subgraphs matching
PublicationIdentyfikacja ról w sieci społecznej jest jednym z podstawowych zagadnień analiza takich sieci. W artykule przedstawiamy nowe podejście do tego zagadnienia. Pokazujemy w jaki sposób można dokonać identyfikacji ról poprzez tworzenie specjalnych struktur grafowych tzw. grafów wzorcowych. Przy definiowaniu tychże grafów wspieramy się metodą PISNA. Proponujemy statyczne i dynamiczne podejście do identyfikacji ról. Pokazujemy, w jaki...
-
Zintegrowany System Bezpieczeństwa Transportu : Koncepcja Zintegrowanego Systemu Bezpieczeństwa Transportu w Polsce. Tom III
PublicationKsiążka jest obszerną monografią o bezpieczeństwie transportu powstałą w ramach projektu badawczego pt. ''Zintegrowany system bezpieczeństwa transportu'', zamówionego przez Ministra Nauki i Szkolnictwa Wyższego w 2007 roku.
-
Przedsiębiorstwo ochrony w portach morskich
PublicationW pracy przeanalizowano obowiązujące wymogi prawne i organizacyjne w zakresie bezpieczeństwa portów i obiektów portowych, z uwzględnieniem wymagań ochrony infrastruktury krytycznej. Opisano organizację podstawowych działań, obowiązków i zadań w zakresie planowania i realizacji ochrony oraz zapewnienia gotowości na wypadek wystąpienia zdarzeń naruszających ochronę. Przedstawiono również przegląd nowoczesnych rozwiązań technologicznych,...
-
System opieki społecznej
PublicationKsiążka jest obszerną monografią o bezpieczeństwie transportu powstałą w ramach projektu badawczego pt. ''Zintegrowany system bezpieczeństwa transportu'', zamówionego przez Ministra Nauki i Szkolnictwa Wyższego w 2007 roku.
-
Światowe trendy w edukacji motoryzacyjnej i nadzorze nad ruchem drogowym
PublicationReferat jest syntezą światowych trendów w kształceniu kierowców i nadzorze nad ruchem drogowym. Prezentuje doświadczenia m.in. projetów europejskich projektów: SafeyNet, ''Obserwatorium BRD'', EuroRAP, PACTS oraz poszcególnych państw członkowskich UE m.in.: Francji, Wielkiej Brytanii, Holandii, a także Polski.
-
Implementation of integrated control In drinking water distribution systems - IT system proposal
PublicationImplementation of integrated control algorithms requires suitable hardware and software platforms. Proposed solution must allow realizing control and monitoring tasks, while ensuring high reliability and security of processed data. Additionally, the software and hardware solutions must be immune to outside influence. This paper presents an approach to implementation of control systems in drinking water distribution system. Presented...
-
Port knocking - alternatywne rozwiązania
PublicationOmówiono techniki pukania w porty (ang. Port Knocking). Zaproponowano nowe wersje mechanizmu oparte o wykonanie sekwencji puknięć wieloma pakietami w jeden port: pukanie pakietami o różnej długości, przy czym długości te stanowiłyby sekwencję kodową, oraz pukanie, w którym sekwencją kodową są odcinki czasu pomiędzy pojawianiem się na porcie kolejnych pakietów. Rozważono możliwości zastosowania tego typu port knockingu i zaproponowano...
-
System bezpieczeństwa transportu drogowego w Polsce
PublicationCelem niniejszego artykułu jest przedstawienie kluczowych dla poprawy brd elementów diagnozy stanu i systemu bezpieczeństwa w Polsce, które jednocześnie mogłyby wejść w zakres działań objętych Projektem ZEUS. Ocenę diagnozy wykonano poprzez porównanie z wzorcami z tych krajów, które od lat uważa się za liderów w zakresie bezpieczeństwa.
-
An integrated method for security protocols analysis
Publication