Filtry
wszystkich: 3341
-
Katalog
- Publikacje 2471 wyników po odfiltrowaniu
- Czasopisma 38 wyników po odfiltrowaniu
- Wydawnictwa 3 wyników po odfiltrowaniu
- Osoby 109 wyników po odfiltrowaniu
- Wynalazki 14 wyników po odfiltrowaniu
- Projekty 25 wyników po odfiltrowaniu
- Laboratoria 4 wyników po odfiltrowaniu
- Zespoły Badawcze 13 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 259 wyników po odfiltrowaniu
- Wydarzenia 16 wyników po odfiltrowaniu
- Dane Badawcze 388 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: PASY BEZPIECZEŃSTWA
-
Bezpieczeństwo transportu w polityce transportowej Polski i Unii Europejskiej.
PublikacjaCharakterystyka polskiej i europejskiej polityki transportowej.Bezpieczeństwo transportu. Współczesne tendencje w działaniach prewencyjnych oraz działania systemowe w zakresie bezpieczeństwa ruchu drogowego.
-
Ocena wpływu na bezpieczeństwo ruchu drogowego projektów infrastruktury drogowej
PublikacjaDziałania inżynierskie na rzecz poprawy bezpieczeństwa ruchu drogowego (brd) podejmowane mogą być na wszystkich etapach przygotowania inwestycji drogowych. Im wcześniejszy etap, tym łatwiej jest usunąć niekorzystne dla brd czynniki zagrożenia. Współczesne podejście do zarządzania bezpieczeństwem drogowym w Polsce staje się coraz bardziej uwarunkowane wymaganiami stawianymi przez Unię Europejską. Stwarza to korzystne warunki tworzenia...
-
Bezpieczeństwo i wydajność wybranych algorytmów kryptograficznych w systemie RSMAD
PublikacjaW artykule scharakteryzowano architekturę bezpieczeństwa Radiowego Systemu Monitorowania i Akwizycji Danych z Urządzeń Fotoradarowych (w skrócie RSMAD), ze szczególnym uwzględnieniem mechanizmów zapewniania poufności danych w tymże systemie. W pracy przedstawiono także szczegółowe wyniki badań w zakresie zgodności algorytmu AES-128 z kryterium SAC. Ponadto zaprezentowano analizę porównawczą wydajności algorytmów AES-128 oraz Triple-DES...
-
Bezpieczeństwo sieci szkieletowej All-IP w systemie komórkowym UMTS
PublikacjaW pracy przedstawiono podstawowe mechanizmy zabezpieczeń funkcjonujące w sieci szkieletowej systemu UMTS, ze szczególnym uwzględnieniem protokołu IPsec. Badania i analizy zostały przeprowadzone w głównej mierze w oparciu o dokumenty standaryzacyjne systemu UMTS oraz zalecenia RFC organizacji IETF. Niniejsza praca powstała głównie z myślą o operatorach telefonii komórkowej trzeciej generacji. Aspiracją autora, towarzyszącą powstaniu...
-
Badania czynników wpływających na bezpieczeństwo ruchu drogowego w województwach
PublikacjaWojewództwa stanowią podstawową jednostę zarządzania w Polsce. Jak dotąd mało rozpoznanym proble-mem są czynniki wpływające na bezpieczeństwo ruchu dro-gowego na poziomie województw. Na podstawie przeglądu literatury zidentyfikowano metody analiz bezpieczeństwa na poziomie regionanym a także niektóre czynniki wpływające na bezpieczeństwo ruchu na obszarze regionów. Następnie zebrano dane dostępne dla województw w Polsce w...
-
Architecture supporting security of agent systems
PublikacjaW rozprawie zaproponowano nową architekturę bezpieczeństwa wspomagającą anonimowość w systemach agentowych. Moduł I architektury zapewnia funkcjonalność protokołu ochrony przed tropieniem (ang. untraceability), z tą zaletą, że nie wprowadza ograniczeń wobec agentów samodzielnie ustalających trasę własnej wędrówki. Stanowi rdzeń architektury, który zaimplementowano jako rozszerzenie platformy agentowej JADE, udostępniane publicznie...
-
Analiza bezpieczeństwa ruchu statku na wodach ograniczonych przy użyciu metod CFD
PublikacjaPodjęto próbę zbadania przydatności komercyjnego oprogramowania CFD do analizy rezerwy dynamicznej i porównania wyników z istniejącymi metodami szacowania osiadania. Skoncentrowano się na porównaniu układu falowego oraz sił hydrodynamicznych działający na kadłub statku w ruchu na płytkowodziu.
-
Skojarzone wytwarzanie ciepła i energii elektrycznej z uwzględnieniem aspektów bezpieczeństwa energetycznego
PublikacjaOmówiono strukturę wytwarzania energii elektrycznej w Polsce ze szczególnym uwzględnieniem kogeneracji, scharakteryzowano strukturę źródeł wytwórczych oraz przewidywane zmiany tej struktury w wieloletnim horyzoncie czasowym, zwrócono uwagę na wpływ unijnych oraz krajowych uwarunkowań prawnych na zakres rozwoju układów skojarzonych, położono nacisk na ochronę środowiska oraz bezpieczeństwo energetyczne kraju
-
Wybrane metody przydatne w analizie niezawodności i bezpieczeństwa funkcjonalnego systemów technicznych.
PublikacjaPrzedstawiono wybrane metody przydatne w analizie niezawodności i bezpieczeństwa funkcjonalnego systemów technicznych takie jak: metoda FMECA (failure mode, effect and criticality analysis, FTA (fault tree analysis, RBD (reliability block diagram) RCM (reliability centered maintenance, LCC (life cycle cost) i PMO (preventive maintenance optimising.
-
Obliczanie wartości PFD dla funkcji bezpieczeństwa obwodu SIS o różnych konfiguracjach.
PublikacjaPrzedstawiono sposoby wyznaczania wartości średnich PFD, PFDavg, dla funkcji bezpieczeństwa obwodu SIS o różnych konfiguracjach. Określono podstawowe definicje i cel obliczania wartości prawdopodobieństwa niezadziałania funkcji bezpieczeństwa obwodu SIS. Zaprezentowano podstawy teoretyczne obliczeń wartości PFD, PFDavg dla funkcji bezpieczeństwa o różnych konfiguracjach oraz ich modele probabilistyczne. Przedstawiono także przykłady...
-
Wpływ stosowania usług Inteligentnych Systemów Transportowych na poziom bezpieczeństwa ruchu drogowego
PublikacjaW artykule opisano założenia projektu pt. "Wpływ stosowania usług Inteligentnych Systemów Transportowych na poziom bezpieczeństwa ruchu drogowego". Projekt jest realizowany w ramach programu Rozwój Innowacji Drogowych (RID) zorganizowanego i finansowanego przez Narodowe Centrum Badań i Rozwoju i Generalną Dyrekcję Dróg Krajowych i Autostrad (umowa nr DZP/RID-I-41/7/NCBR/2016). Celem projektu jest opracowanie narzędzi , które umożliwią...
-
Technika komunikacji radiowej V2X jako metoda poprawy bezpieczeństwa w ruchu drogowym
PublikacjaW referacie zaprezentowano metody komunikacji V2X pomiędzy pojazdami oraz między pojazdami i różnymi innymi elementami infrastruktury drogowej. Ponadto scharakteryzowano komunikację radiową V2V oraz omówiono strukturę kanałów dla tego rodzaju komunikacji. W dalszej części referatu przedstawiono nową propozycję zastosowania technologii LTE-V do realizacji komunikacji V2X i przeanalizowano przewidywaną niezawodność transmisji komunikatów...
-
Środowisko testowe i symulacyjne do weryfikacji bezpieczeństwa kooperacyjnego w sieciach bezprzewodowych
PublikacjaWraz z rozwojem bezprzewodowych sieci komputerowych rośnie potrzeba zapewnienia zadowalającego poziomu bezpieczeństwa ich unkcjonowania. Potrzeba taka istniała już w przypadku klasycznych sieci przewodowych, lecz środowisko sieci bezprzewodowej okazuje się szczególnie podatne na różnorodne zagrożenia, poczynając od atakówtypu DoS, poprzez zagrożenia poufności i integralności danych oraz manipulację informacją o tożsamości użytkowników,...
-
Stan bezpieczeństwa ruchu drogowego w województwie kujawsko - pomorskim na tle Polski
PublikacjaMiejsce woj. kujawsko - pomorskiego na tle Polski pod kątem bezpieczeństwa ruchu drogowego
-
Przyjęta procedura oceny bezpieczeństwa ruchu drogowego w poszczególnych powiatach i gminach
PublikacjaOcena poziomu zagrożenia w powiatach i gminach woj. kujawsko - pomorskiego na podstawie przyjętej procedury.
-
Analiza zagrożeń bezpieczeństwa i rodzajów ataków w bezprzewodowych sieciach Ad hoc
PublikacjaW referacie przedstawiono opis zagrożeń i słabych punktów pod względem bezpieczeństwa transmisji w sieciach Ad hoc. Opisano również rodzaje ataków w metody wykrywania włamań do tego rodzaju sieci.
-
Krajowe strategie bezpieczeństwa ruchu drogowego realizujące założenia Dekady ONZ 2011-2020
PublikacjaW artykule opisano założenia, jakie dla państw członkowskich opracowała Organizacja Narodów Zjednoczonych w zakresie bezpieczeństwa ruchu drogowego na lata 2011-2020, w tzw. Dekadzie BRD.W dokumencie ONZ pt. "Plan Globalny" wskazano na 5 filarów programów bezpieczeństwa ruchu, dotyczących: zarządzania brd, uczestnika ruchu, pojazdu, infrastruktury oraz ratownictwa, w oparciu o które kraje powinny konstruować swoje narodowe rezolucje....
-
Zastosowanie ilościowej oceny ryzyka przy ocenie bezpieczeństwa statków w czasie zatapiania
PublikacjaArtykuł ten jest poświęcony w całości bezpieczeństwu statków w stanie awaryjnym lub uszkodzonym. Obecnie stosowane są różne metody oceny bezpieczeństwa statków. Metody o najbardziej szerokim zakresie zastosowania to metody o charakterze preskrypcyjnym i ograniczające pewne parametry fizyczne obiektu morskiego pod opisanymi kryteriami. Metodą o najbardziej rozbudowanym zakresie zastosowania jest metoda opisana w wymaganiach konwencji...
-
Urządzenia i działania dla poprawy bezpieczeństwa pieszych poruszających się wzdłuż drogi
PublikacjaW niniejszym rozdziale przedstawiono charakterystykę grupy urządzeń dla pieszych poruszających się wzdłuż drogi wraz z wymaganiami i standardami bezpieczeństwa ruchu drogowego, jakie te urządzenia powinny spełniać.
-
Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów
PublikacjaW odpowiedzi na potrzebę wprowadzania formalnych narzędzi opisu do analizy bezpieczeństwa systemów zawierających komponenty programowalne powstała notacja ECSDM. Jej zaletą jest to iż umożliwia nie tylko definiowanie zależności czasowych obowiązujących w opisywanym systemie, ale również, przy zastosowaniu jej do drzew błędów, pozwala na prowadzenie wnioskowania odnośnie zależności czasowych pomiędzy zdarzeniami z minimalnych zbiorów...
-
Metody analizy systemów sterowania i zabezpieczeń z uwzględnieniem kryteriów bezpieczeństwa funkcjonalnego.
PublikacjaW rozprawie zaprezentowane zostały metody analizy probabilistycznej systemów sterowania i zabezpieczeń z uwzględnieniem kryteriów bezpieczeństwa funkcjonalnego. Przedstawione metody stosowane są w procesie weryfikacji poziomów nienaruszalności bezpieczeństwa SIL systemów elektrycznych, elektronicznych i programowalnych elektronicznych E/E/PE. W związku z występowaniem problemu oceny niepewności w oszacowaniach probabilistycznych...
-
Human factor and functional Safety analysis = Czynniki ludzkie i analiza bezpieczeństwa funkcjonalnego
Publikacja -
Wybrane zagadnienia niezawodności i bezpieczeństwa transmisji danych w przemysłowych sieciach komputerowych
PublikacjaW referacie przedstawiono problemy dotyczące bezpieczeństwa i niezawodności transmisji danych w przemysłowych sieciach komunikacyjnych wykorzystywanych do realizacji funkcji związanych z bezpieczeństwem. Omówiona została koncepcja kanałów komunikacyjnych bezpiecznych funkcjonalnie oraz związane z nimi wymagania niezawodnościowe określone w normach PN-EN 61508-3 oraz PN-EN 61784-3. Przedstawione zostały również zagrożenia dotyczące...
-
Poprawa bezpieczeństwa osób z niepełnosprawnością podczas ewakuacji z obiektów użyteczności publicznej
PublikacjaObecne przepisy budowlane nie zapewniają osobom z niepełnosprawnością pełnego bezpieczeństwa na wypadek pożaru. W artykule zarysowane zostaną obszary problemowe związane z technicznymi warunkami zapewnienia tym osobom bezpiecznej ewakuacji z budynku. Przedstawione zostaną przykłady rozwiązań zwiększających bezpieczeństwo tych osób oraz sposoby ewakuacji przy pomocy środków technicznych. Poruszona zostanie tematyka dostępu do informacji...
-
Propozycja metody oceny bezpieczeństwa użytkowania rekreacyjnego obiektu wodnego typu ‘dzika rzeka’
PublikacjaPrzedstawiona praca dotyczy możliwości wykorzystania numerycznej symulacji przepływu do oceny bezpieczeństwa użytkowania torów rekreacyjnych występujących w wodnych parkach rozrywki. Użytkownicy licznie odwiedzanych aquaparków oczekują wyjątkowych wrażeń z jednoczesną gwarancją bezpieczeństwa. Projektowanie tych obiektów odbywa się w oparciu o przepisy zawarte w odpowiednich normach, lecz nie są one precyzyjne. Jednak wstępną weryfikację...
-
Szacowanie miar bezpieczeństwa ruchu drogowego dla potrzeb oceny efektywności inwestycji drogowych
PublikacjaKoszty wypadków drogowych to jeden z elementów składowych kosztów, które stanowią podstawę do analiz efektywności ekonomicznej inwestycji drogowych. Obok kosztów eksploatacji pojazdów, czasu podróży i czasu pracy oraz kosztów emisji spalin i hałasu, koszty wypadków drogowych decydują o tym czy dana inwestycja będzie opłacalna z punktu widzenia efektywności ekonomicznej. Prawidłowe wyliczenie kosztów wypadków dla planowanych inwestycji...
-
Problematyka naukowo-badawcza w procesie integracji systemu bezpieczeństwa transportu w Polsce
PublikacjaPotrzeby integrowania systemów bezpieczeństwa transportu wynikają ze współczesnych wymagań cywilizacyjnych i systemowych. Warunkiem realizacji tych potrzeb jest silne wsparcie procesów integracyjnych wiedzą ukierunkowaną na typowe dla systemu transportu zjawiska powstawania wypadków i awarii, techniki badań czy potrzeby komunikowania o uzyskanych wynikach tych badań. Szczególnym wymaganiem prowadzenia badań wypadków transportowych jest...
-
Perspektywy integracji systemu bezpieczeństwa ruchu drogowego w Polsce według koncepcji ZEUS.
PublikacjaDiagnoza systemu bezpieczeństwa transportu drogowego w Polsce. Uwarunkowania i kierunki integracji systemu bezpieczeństwa transportu drogowego. Koncepcja Zintegrowanego Systemu Bezpieczeństwa Ruchu Drogowego (ZSBT)
-
Aktywna metoda testowania bezpieczeństwa aplikacji webowych httpvalider oraz ocena jej skuteczności
PublikacjaW rozdziale omówiono zagadnienia oceny bezpieczeństwa aplikacji webowych, w szczególności podejście pasywnego i aktywnego testowania bezpieczeństwa. Przedstawiono metodę aktywnego testowania HttpValider obejmującą generowanie żądań HTTP pozwalające na identyfikację 13 luk bezpieczeństwa. Dla opracowanej metody zaprojektowano i zaimplementowano narzędzie wspierające automatyczne przeprowadzenie testów dla scenariusza użycia testowanej...
-
Problemy i wyzwania w zakresie bezpieczeństwa ruchu drogowego w Nowej Dekadzie
PublikacjaPo wieloletnim okresie systematycznego spadku liczby ofiar śmiertelnych i rannych w wypadkach drogowych w ostatnich kilku latach nastąpiła stagnacja, a nawet odwrócenie tej korzystnej tendencji. Pandemia COVID-19, w wyniku której nastąpiło zmniejszenie mobilności mieszkańców, przyczyniła się do powrotu do tendencji spadkowej liczby ofiar śmiertelnych i ciężko rannych. W artykule przedstawiono prognozę liczby ofiar śmiertelnych...
-
Bezpieczeństwo Pracy i Ochrona Środowiska w Górnictwie
Czasopisma -
Risk of cadmium, lead and zinc exposure from consumption of vegetables produced in areas with mining and smelting past
Publikacja -
Is Easy Access Related to Better Life? Walkability and Overlapping of Personal and Communal Identity as Predictors of Quality of Life
Publikacja -
Microstrip line with short-circuited edge as a high-pass filter operating up to millimeter-wave frequencies
PublikacjaPrzedstawiono prosty planarny filtr górnoprzepustowy wykorzystujący linię mikropaskową ze zwartym brzegiem. Układy zaprojektowano w taki sposób, aby pasmo przepustowe rozpoczynało się w zakresie K lub Ka. Wykonano dwa prototypy: na podłożu w postaci warstwy dielektrycznej wykonanej z ceramiki alundowej oraz na podłożu organicznym o niskiej przenikalności elektrycznej. Wykazano dużą zgodność teoretycznych i pomierzonych charakterystyk...
-
Design of mm-wave MIC frequency multiplayers and mixers using simple microstrip high-pass filters
PublikacjaPrzedyskutowano podstawowe wymagania dotyczące impedancji elementów półprzewodnikowych wykorzystywanych w mieszaczach i powielaczach częstotliwości projektowanych dla zakresu fal milimetrowych. Określono typy układów filtrujących niezbędnych w różnych częściach układów, podkreślając znaczenie filtrów górnoprzepustowych. Mikropaskowy filtr ze zwartym brzegiem został wykonany i zaimplementowany w mieszaczu pracującym w zakresie 20-40GHz.
-
Fifth-order low-pass CMOS OTA-C continuous-time filter with on-chip automatic tuning
PublikacjaW pracy przedstawiono budowę operacyjnego wzmacniacza transkonduktancyjnego (OTA) zasilanego napięciem stałym 2.8-4.5V wykonanego w technologii CMOS0.8um n-well. Wzmacniacz ten wykorzystano do budowy dolnoprzepustowego filtru czasu ciągłego typu OTA-C piątego rzędu. W układzie scalonym umieszczono także blok automatycznego dostrajania częstotliwości odcięcia filtru. Przedstawiono wyniki symulacji komputerowych (modele MOS BSIM3v3)...
-
A 0.5 V Nanowatt Biquadratic Low-Pass Filter with Tunable Quality Factor for Electronic Cochlea Applications
PublikacjaA novel implementation of an analogue low-power, second-order, low-pass filter with tunable quality factor (Q) is presented and discussed. The filter feature is a relatively simple, buffer-based, circuit network consisting of eleven transistors operating in a subthreshold region. Q tuning is accomplished by injecting direct current into a network node, which changes the output resistance of the transistors and, as a result, modifies...
-
The pattern of verbal, visuospatial and procedural learning in Richardson variant of progressive supranuclear palsy in comparison to Parkinson’s disease
Publikacja -
Metodyka projektowania sprzęgacza łatowego z perforowaną metalizacją masy w oparciu o algorytm genetyczny
PublikacjaW referacie zaprezentowano metodologię projektowania zminiaturyzowanego sprzęgacza łatowego z perforacją metalizacji masy w postaci komórek DGS (ang. Defected Ground Structures). Proces projektowania oparto na zmodyfikowanym algorytmie genetycznym wykorzystującym środowisko Sonnet do pełnofalowych symulacji elektromagnetycznych przeprowadzanych w celu znalezienia quasi-optymalnej topografii obwodu. Zastosowanie omówionej procedury...
-
Metodyka projektowania sprzęgacza łatowego z perforowaną metalizacją masy w oparciu o algorytm genetyczny
PublikacjaW referacie zaprezentowano metodologię projektowania zminiaturyzowanego sprzęgacza łatowego z perforowaną metalizacją masy. Proces projektowania oparty jest na zmodyfikowanym algorytmie genetycznym wykorzystującym środowisko Sonnet do pełnofalowych symulacji elektromagnetycznych przeprowadzanych w celu znalezienia optymalnej topografii projektowanego obwodu. Wyniki eksperymentalne i teoretyczne cechuje duża zbieżność, co dowodzi...
-
Model neuronowy jako alternatywa dla numerycznego modelu okołodźwiękowego przepływu pary przez palisadę turbinową.
PublikacjaWystępowanie skośnej fali uderzeniowej w przepływie pary przez palisadę turbinową stanowi zagrożenie dla bezpiecznej pracy turbiny oraz dla jej elementów konstrukcyjnych. Detekcja oraz lokalizacja fali uderzeniowej, a także rozpoznanie przyczyny jej powstawania, nie są możliwe do osiągnięcia na drodze pomiarowej. Analizę zjawisk zachodzących wewnątrz kanału przepływowego umożliwiają natomiast modele numeryczne oraz neuronowe. Zaletą...
-
Ocena wpływu poprawy dokładności pomiaru temperatury pary świeżej na efektywność ekonomiczną bloku energetycznego
PublikacjaW niniejszym artykule przedstawiono wyniki badań wpływu poprawy dokładności pomiaru temperatury pary świeżej na wskaźniki sprawności i produkcji bloku ciepłowniczego. Analizy dokonano w oparciu o moduł zaproponowany przez firmę Alstom, składający się z regulatora stanu z obserwacją oraz precyzyjnej termopary. Narzędziem wykorzystanym do badań był program GateCycle 6.1, w którym zamodelowano blok BC-50, wykorzystując rzeczywiste...
-
Influence of PWHT Parameters on the Mechanical Properties and Microstructural Behavior of Multi-Pass GTAW Joints of P92 Steel
PublikacjaThe 9% Cr steels were developed for ultra-supercritical (USC) power plants to meet the requirements of high operating temperature and pressure. These steels are produced to operate at high temperatures where impact toughness is not a concern; however, it becomes important for the welded joints to have good impact toughness at room temperature for manufacturing. The present work investigates the effect of the post-weld heat treatment...
-
Grzyby wielkoowocnikowe (macromycetes) Doliny Zielonej (Lasy Oliwskie) = The report of macromycetes in Zielona Valley (Oliwskie Forests)
PublikacjaW artykule wyszczególniono 203 gatunki grzybów wielkoowocnikowych (macromycetes) stwierdzonych w Dolinie Zielonej, położonej w Lasach Oliwskich, z podziałem na klasy I rzędy. Zaznaczono te taksony, które znajdują się pod ochroną oraz na "czerwonej liście makrogrzybów". Opisano krótko kilka interesujących taksonów - podano ich miejsce występowania. Zamieszczono krótki opis budowy geomorfologicznej Doliny Zielonej, wymieniono gatunki...
-
Synergies pays riverains de la Baltique
Czasopisma -
Kazimierz Jamroz dr hab. inż.
Osoby -
Factors Forming the Consumers’ Willingness to Pay a Price Premium for Ecological Goods in Ukraine
Publikacja -
Noninvasive glucose sensing in scattering media using OCT, PAS, and TOF techniques.
PublikacjaW pracy przedstawiono możliwości wykorzystania optycznej tomografii koherencyjnej (OCT), spektroskopii fotoakustycznej (PAS)i spektroskopii czasu przelotu (TOF) w pomiarach glukozy w ośrodku silnie rozpraszającym. Równolegle opracowano modele propagacji światła w tych ośrodkach wykorzystując metodę Monte Carlo. W pomiarach wykorzystano ''Intralipid'' jako fantom tkanki. W dalszych badaniach wykorzystano mięso wieprzowe i dokonano...
-
Time series - the tool for traffic safety analysis
PublikacjaGłównym celem artykułu jest przedstawienie sposobu modelowania i modeli stosowanych w analizach i prognozowaniu odnośnie zmian śmiertelności w wypadkach drogowych w Polsce. W tym celu zastosowano teorię modeli strukturalnych szeregów czasowych przy założeniu, że zarówno ruch drogowy, jak i bezpieczeństwo na drogach są procesami dynamicznymi, w których przeszłość ma znaczący wpływ na teraźniejszość i przyszłość systemu.
-
An integrated framework for security protocol analysis
PublikacjaAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...