Filtry
wszystkich: 661
-
Katalog
- Publikacje 426 wyników po odfiltrowaniu
- Czasopisma 14 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 37 wyników po odfiltrowaniu
- Wynalazki 6 wyników po odfiltrowaniu
- Projekty 17 wyników po odfiltrowaniu
- Laboratoria 2 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Kursy Online 135 wyników po odfiltrowaniu
- Wydarzenia 7 wyników po odfiltrowaniu
- Dane Badawcze 13 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: OPTYKA ZINTEGROWANA
-
Optyka
Czasopisma -
Zastosowanie elementów optyki zintegrowanej wykonanych w technice zol-żel w biochemicznych sensorach światłowodowych.
PublikacjaW pracy przedstawiono zasadę działania światłowodowych sensorów biochemicznych wykorzystujących interferometrię polaryzacyjną. Zaproponowano wykorzystanie materiałów hybrydowych wykonanych w technologii zol-żel w konstrukcji jednorazowych przetworników pomiarowych. Omówiono technologię wytwarzania tych materiałów i wybrane zastosowania tych sensorów.
-
Zintegrowana linia radioterapeutyczna
PublikacjaZintegrowana linia radioterapeutyczna (ZLR) stanowi złożenie sprzętu i oprogramowania służącego do precyzyjnej radioterapii. W pierwszej kolejności w referacie wyjaśniono różnice pomiędzy teleradioterapią, a brachyterapią, które stanowią podstawowe rodzaje radioterapii. Następnie przedstawiono budowę i funkcje poszczególnych części ZLR: tomografu komputerowego, systemu planowania leczenia, symulatora i akceleratora. W dalszej kolejności...
-
OPTICA APPLICATA
Czasopisma -
Optyka nieuporządkowanych ośrodków silnie rozpraszających
PublikacjaW pracy omówiono w syntetyczny sposób podstawowe problemy teoretyczne związane z analizą propagacji promieniowania optycznego w nieuporządkowanych ośrodkach silnie rozpraszających. Szczególną uwagę, obok zakresu stosowalności różnych metod analizy propagacji promieniowania optycznego w takich ośrodkach, zwrócono na ich dokładność, uniwersalność i efektywność. Przedstawiono nowatorskie usprawnienia metody Monte Carlo mające za zadanie...
-
Zintegrowany system bezpieczeństwa transportu
PublikacjaW styczniu 2007 Minister Nauki i Szkolnictwa Wyższego, na podstawie konkursu na projekt badawczy zamawiany PBZ 2/2006, podjął decyzję o przyznaniu prawa realizacji trzyletniego projektu pt. ''Zintegrowany system bezpieczeństwa transportu'' konsorcjum naukowemu w składzie: Politechnika Gdańska, Politechnika Śląska, Instytut Techniczny Wojsk Lotniczych w Warszawie oraz Akademia Morska w Szczecinie. Przedmiotem niniejszego referatu...
-
Instalacje PV zintegrowane z budynkiem
PublikacjaBIPV (ang. Building Integrated Photovoltaics) - architektoniczne, strukturalne i estetyczne systemy fotowoltaicznezintegrowane z budynkami - to jedna z najbardziej obiecujących form wykorzystania energii odnawialnej,pozwalająca na połączenie systemu generującego energie elektryczna z obiektami takimi jak domy mieszkalne,szkoły i biurowce. Obecnie instalacje takie powstają na całym świecie, głównie w prestiżowych projektach, takichjak...
-
Zintegrowane systemy informacyjne a konkurencyjność regionów
PublikacjaPrzedstawiono zagadnienia związane z rolą zintegrowanych systemów informatycznych wspomagających zarządzanie miastem oraz ich wpływ na konkurencyjność oraz rozwój miast i regionów. Przedstawiono korzyści wynikające z wdrożenia zintegrowanych systemów informacyjnych w zarządzaniu miastem.
-
Zintegrowane środowiska projektowania aplikacji internetowych.
PublikacjaZintegrowane środowiska, umożliwiające analizę, projektowanie i implementację aplikacji, stanowią wymarzone narzędzie pracy każdego inżyniera oprogramowania. Opisano próby dostarczenia takiego środowiska w postaci Borland Delphi 5.0 oraz w postaci Rational XDE - środowiska projektowania w UML przeznaczonego do integracji z istniejącymi środowiskami implementacji, takimi jak Microsoft Visual Studio.NET i IBM Web Sphere...
-
Zintegrowany Program Rozwoju Politechniki Gdańskiej
PublikacjaPolitechnika Gdańska realizuje projekt Zintegrowany Program Rozwoju Politechniki Gdańskiej (POWER 3.5) dofinansowywany z Europejskiego Funduszu Społecznego. Celem projektu jest podniesienie jakości kształcenia na studiach II i III stopnia, zwiększenie efektywności zarządzania Politechniką Gdańską oraz podniesienie kompetencji kadr. Projekt jest realizowany od 1 kwietnia 2018 roku do 31 marca 2022 roku. Instytucją pośredniczącą...
-
Spectroscopic studies of sol-gel derived thin film structures for integrated optics
PublikacjaPrzedstawiono wyniki badania struktur cienkowarstwowych wykonywanych dla zastosowań w optyce zintegrowanej z polimerów hybrydowych (np. w postaci ścieżek śwaitłowodów planarnych). Jakość i jednorodność stuktur badano za pomocą mikroskopii ramanowskiej, mikroskopii optycznej i profilometrii światła białego. Wykonano porównanie wyników uzyskanych tymi trzema metodami.
-
Zdalny zintegrowany moduł nadzoru radiowo-wizyjnego
PublikacjaPrzedstawiono prace koncepcyjne, badawcze oraz implementacyjne skoncentrowane na praktycznej realizacji sys-temu lokalizacji i śledzenia obiektów z wykorzystaniem kamer wizyjnych i identyfikacji radiowej. Zaproponowano metodę konkatenacji danych w celu zwiększenia dokładno-ści i skuteczności detekcji obiektów. Omówiono założenia projektowe oraz technologie opracowane w ramach rozwi-janego multimodalnego modułu nadzoru. Zaproponowano...
-
Zintegrowany system dyspozytorski dla potrzeb specjalnych
PublikacjaW publikacji przedstawiono budowę i działanie nowoczesnego systemu dyspozytorskiego, integrującego analogowe i cyfrowe systemy telekomunikacji przewodowej i bezprzewodowej dla potrzeb prowadzenia efektywnego procesu dowodzenia, w którym uwzględniono także sposób wizualizacji danych na podkładzie mapowym w celu zobrazowania aktualnego stanu pola taktycznego.
-
Zintegrowana obróbka toczeniem i nagniataniem na obrabiarkach CNC
PublikacjaPrzedstawiono zintegrowaną obróbkę toczeniem i nagniataniem wałów o dużej smukłości w jednym przejściu roboczym na tokarce CNC. Zastosowano specjalne oprzyżądowanie do jednoczesnej obróbki toczeniem i naganiataniem w zakresie średnic wałów od 20 mm do 110 mm. Nagniatająca głowica hydrauliczna jest zintegrowana z układem komputerowego sterowania tokarko-nagniatarki TUR 50 CNC-N. Podano wyniki badań i parametry obróbki tłoczysk siłowników...
-
Zintegrowana obróbka tulei cylindrów hydraulicznych głowicami roztaczająco-nagniatającymi
PublikacjaOpisano zintegrową technologię tulei cylindrów hydraulicznych polegającą na obróbce skrawaniem i powierzchniowej obróbce plastycznej przez nagniatanie. Przedstawiono konstrukcję specjalnych głowic roztaczajaco-nagniatających, stanowisko obróbkowe i rezultaty obróbki tulei o średnicy otworu 100H7 i długości 1400 mm. Osiągnięto chropowatość powierzchni Ra = 0,6 do 0,32 mikrometra. Proponowana technologia cylindrów hydraulicznych...
-
Kontaktologia i Optyka Okulistyczna
Czasopisma -
Wybrane instrumenty zintegrowanej komunikacji marketingowej
PublikacjaW artykule zwrócono uwagę na potrzebę stosowania zintegrowanej komunikacji marketingowej. Szczególną uwagę poświęcono osobowym formom komunikacji marketingowej, takim jak: sprzedaż osobista, targi i wystawy oraz marketing szeptany.
-
Predykcyjne sterowanie zintegrowanym systemem ściekowym
PublikacjaOczyszczalnie ścieków muszą spełniać wiele wymogów dotyczących jakości oczyszczonych ścieków. Prowadzi to do znacznej liczby celów, jakie należy osiągnąć, aby właściwie przebiegał proces oczyszczania. Realizacja tych celów może opierać się na zastosowaniu sterowania optymalizującego w technologii krzepkiego sterowania predykcyjnego (ang. Robust Model Predictive Control - RMPC). Zostało ono zaimplementowane w hierarchicznej strukturze...
-
Zintegrowane węzły przesiadkowe przy małych dworcach kolejowych
PublikacjaW artykule opisano projektowane i powstałe polskie, zintegrowane węzły przesiadkowe powiązane z dworcami kolejowymi. Skupiono się na małych dworcach, przy czym przez „małe” rozumie się dworce o niewielkiej kubaturze, ale niekoniecznie o małym ruchu pasażerskim.
-
Zintegrowane sterowanie stężeniem tlenu w oczyszczalni ścieków
PublikacjaNapowietrzanie jest jednym z najważniejszych i najdroższych procesów w oczyszczalni ścieków. Powodem tego są: różne skale czasowe w dynamice wewnętrznej procesów i elementów związanych z napowietrzaniem, mieszany charakter zmiennych steruących, przyjmujących wartości zarówno ciągłe, jak i dyskretne, ograniczenia czasowe na możliwości włączania dmuchaw powietrza, nieliniową dynamikę rozpuszczonego tlenu i systemu napowietrzania,...
-
Zintegrowane sterowanie systemami zaopatrzenia w wodę pitną
PublikacjaOptymalne ekonomicznie zaspokojenie w miastach bieżącego zapotrzebowania na wodę pitną tak, aby spełnione były wymagania jakości dostaw oraz jakości samej wody jest złożonym zadaniem. Zarówno aspekty aplikacyjne jak i teoretyczne tego problemu są przedmiotem intensywnych prac prowadzanych w sektorach naukowych i przemysłowych na całym świecie. Prace te finansowane są przez przemysł, komitety naukowe oraz Programy Ramowe Unii Europejskiej....
-
Zintegrowana platforma handlowa jako przykład innowacji w handlu elektronicznym.
PublikacjaW artykule przedstawiono przykład funkcjonowania innowacyjnego przedsięwzięcia, jakim jest zintegrowana platforma handlowa, działająca w portalu Panorama Firm. Struktura treści obejmuje charakterystykę przepływu informacji w serwisach: Panorama Pasaż, Panorama Aukcje oraz Panorama B2B.
-
Zintegrowane zarządzanie ryzykiem w systemie bezpieczeństwa ruchu drogowego
PublikacjaSystem bezpieczeństwa ruchu drogowego jako element systemu transportu. Zarządzanie ryzykiem w transporcie drogowym jako jedna z najbardziej skutecznych metod zarządzania bezpieczeństwem. Proponowane kierunki integracji zarządzania ryzykiem w ruchu drogowym.
-
Zintegrowany napęd hydrauliczny w systemie wodowania łodzi ratunkowych
PublikacjaW artykule przedstawiono opis i schemat napędu i sterowania hydraulicznego innowacyjnego systemu ewakuacji ludzi z dużego statku pasażerskiego. System ten zlokalizowany na rufie statku obejmuje wyciągi łańcuchowe z zamocowanymi na nich dużymi łodziami ratunkowymi oraz pochylnię z rolkami, a także furto rampę rufową, stanowiącą po jej otwarciu przedłużenie pochylni, po której łodzie zjeżdżają do wody.
-
Przyszłość fotowoltaiki - Instalacje fotowoltaiczne zintegrowane z budynkiem (BIPV)
PublikacjaBIPV (ang. Building Integrated Photovoltaics) architektoniczne, strukturalne i estetyczne systemy fotowoltaiczne zintegrowane z budynkami to jedna z najbardziej obiecujących form wykorzystania energii odnawialnej, pozwalająca na połączenie systemu generującego energię elektryczną z obiektami takimi jak domy mieszkalne, szkoły i biurowce. Instalacje takie powstają na całym świecie, głównie w przypadku prestiżowych projektów, takich...
-
Zintegrowany System Informatyczny Klasy ERP - planowanie zasobów przedsiębiorstwa.
Publikacja...
-
Zintegrowane sterowanie predykcyjne stężeniem tlenu w reaktorze biologicznym
PublikacjaW pracy został opracowany nowy hierarchiczny system sterowania stężeniem tlenu w reaktorze biologicznym dla oczyszczalni ścieków pracującej w technologii osadu czynnego oraz została przeprowadzona jego walidacja na drodze symulacji działania w oparciu o dane rzeczywiste. Trajektoria tlenu do realizacji jest wyznaczona przez wyższą warstwę sterowania oczyszczalnią ścieków pracującej w technologii osadu czynnego lub też jest zadana...
-
Zintegrowany system monitoringu oddziaływań transportu kolejowego na środowisko
PublikacjaW artykule przedstawiono działania podejmowane w ramach realizacji projektu badawczego Wspólnego Przedsięwzięcia NCBR i PKP PLK pn. „Badania i Rozwój w Infrastrukturze Kolejowej – BRIK2”. Projekt dotyczy monitoringu szeregu parametrów opisujących oddziaływania transportu kolejowego na środowisko naturalne oraz tereny zurbanizowane. Założono, że na podstawie pomiarów określonych wielkości fizycznych oraz na podstawie szeregu danych...
-
Integrated system of transport safety
PublikacjaW styczniu 2007 Minister Nauki i Szkolnictwa Wyższego, na podstawie konkursu na projekt badawczy zamawiany PBZ 2/2006, podjął decyzję o przyznaniu prawa realizacji trzyletniego projektu pt. ''Zintegrowany system bezpieczeństwa transportu'' konsorcjum naukowemu w składzie: Politechnika Gdańska, Politechnika Śląska, Instytut Techniczny Wojsk Lotniczych w Warszawie oraz Akademia Morska w Szczecinie. Przedmiotem niniejszego referatu...
-
Architektura zintegrowana z zielenią. Szpalery drzew liściastych jako ochrona przeciwsłoneczna budynków
PublikacjaPraca dotyczy integracji drzew i architektury jako formy ochrony przeciwsłonecznej budynku w zabudowie miejskiej. Wykorzystanie zieleni wysokiej jako elementu zacieniającego zabudowę zbadano na przykładzie wybranego układu, tj. ulicy wraz ze szpalerem drzew liściastych wzdłuż każdej z pierzei przy uwarunkowaniach wilgotnego klimatu kontynentalnego. W analizie nasłonecznienia elewacji osłoniętej przez roślinne elementy zacieniające...
-
Przyszłość fotowoltaiki - instalacje zintegrowane z budynkiem (BIPV). Cz. 2
PublikacjaSystemy fotowoltaiczne zintegrowane z budynkiem (BIPV) są to integralne elementy konstrukcyjne budynku, służące do zasilania w energię elektryczną. Bezpośrednie lub rozproszone światło promieniowania słonecznego, oświetlając ogniwa słoneczne, wchodzące w skład instalacji, indukuje efekt fotowoltaiczny, generując stałe napięcie elektryczne. Napięcie to może być wykorzystane bezpośrednio do zasilania urządzeń, ładowania akumulatorów...
-
Zintegrowane sterowanie systemami wodociągowymi - struktury i algorytmy'' - cz. I.
PublikacjaOperacyjne sterowanie systemami wodociągowymi (SW) posiada dwa zasadnicze aspekty: sterowanie hydrauliką i sterowanie jakością wody. Pomiędzy procesami hydrauliki i jakości wody występują interakcje, co stanowi przesłankę, by procesy te przy rozważaniu problemu sterowania SW traktować łącznie. Łączne traktowanie procesów sterowania hydrauliką i jakością wody jest bardzo trudnym zadaniem. Skuteczne jego rozwiązanie powinno integrować...
-
Zintegrowany regionalny system gromadzenia i analizy danych energetyczno-środowiskowych
PublikacjaPrzedstawiono strukturę serwisu internetowego ewidencji opłat za użytkowanie środowiska systemu. Częścią systemu jest baza danych wykorzystywana jako narzędzie ewidencji zużycia energii i emisji zanieczyszczeń w podziale na powiaty, sektory gospodarki i paliwa. Dane zbierane w systemie mogą być wykorzystane do obliczeń depozycji zanieczyszczeń i oceny zagrożenia ekosystemów za pomocą polskiej wersji modelu RAINS. Model ten na drodze...
-
Zintegrowane sterowanie systemami wodociągowymi : struktury i algorytmy. Cz. II
PublikacjaW pierwszej części artykułu przedstawiona została dwuwarstwowa struktura zintegrowanego sterowania hydrauliką i jakością w systemach wodociągowych (SW). Wprowadzenie takiej struktury pozwala wypełnić funkcje sterowania zintegrowanego SW i daje gwarancję ich efewktywnej realizacji. Zintegrowane sterowanie SW obejmuje dwa zasadnicze aspekty: sterowanie hydrauliką i sterowanie jakością wody. Pomiędzy procesami hydrauliki i jakości...
-
Optica
Czasopisma -
Etyka
Czasopisma -
ZINTEGROWANY SYSTEM DOMOWEGO MONITORINGU PARAMETRÓW MEDYCZNYCH OSÓB STARSZYCH I CHORYCH
PublikacjaProponowane rozwiązania mają na celu wspomaganie osób starszych i chorych, tak by mogły jak najdłużej mieszkać i żyć samodzielnie ze zwiększonym poczuciem bezpieczeństwa, iż są nadzorowane i w razie nagłego zagrożenia życia nie pozostaną bez pomocy. System jednocześnie nie narusza poczucia zachowania prywatności i intymności, gdyż nie są używane do monitoringu kamery wizyjne czy też stały nasłuch audio. Dodatkowo gromadzone informacje...
-
Etyka - komu to potrzebne?
PublikacjaAutorka stawia tezę, że budowanie zasad etycznych każdego zawodu jest jednoczesnym budowaniem ram rzetelności i profesjonalizmu zawodowego, budowaniem ładu społecznego. Zawód specjalisty PR szczególnie takich ram wymaga, ponieważ jego wykonywanie wiąże się z wpływaniem na różne sfery życia społecznego: reputację i wizerunek organizacji, jej pracowników, na kształt mediów i społeczeństwo. Przywołane w artykule dwie najnowsze koncepcje...
-
Etyka a wirtualne społeczności
PublikacjaArtykuł przedstawia ontologiczne aspekty wirtualnych społeczności i wirtualnych rzeczywistości. Dodatkowo przedstawiono w jaki sposób status ontologiczny wirtualnego świata wpływa na pojęcie etyki wewnątrz świata wirtualnego. Dodatkowo zwrócono uwagę na nowe problemy etyczne związane z pojawieniem się wirtualnych światów w życiu współczesnych ludzi.
-
A novel compact broadband 5-35GHz
PublikacjaW artykule przedstawiono zasadę pracy oraz procedurę projektowania zintegrowanego planarnego baluna (symetryzatora). Układ zaprojektowano wykorzystując połączenie linii paskowych i szczelinowych oraz struktury rezonatorów w formie wielogałęziowych sęków szczelinowych. Wykonany wielowarstwowy symetryzator pracuje poprawnie w zakresie 5-35GHz.
-
Majbutnè fotoelektriki - sistemi, integrovanì z budnikom = Future of photovoltaic - building integrated systems
PublikacjaBIPV (ang. Building Integrated Photovoltaics) - architektoniczne, strukturalne i estetyczne systemy fotowoltaiczne zintegrowane z budynkami - to jedna z najbardziej obiecujących form wykorzystania energii odnawialnej, pozwalająca na połączenie systemu generującego energię elektryczną z obiektami takimi jak domy mieszkalne, szkoły i biurowce. Instalacje takie powstają na całym świecie, głównie w przypadku prestiżowych projektów,...
-
An integrated analysis of protection layers in hazardous systems
PublikacjaGłównym tematem niniejszej publikacji jest dyskusja nad wybranymi zagadnieniami związanymi z analizą bezpieczeństwa funkcjonalnego infrastruktury krytycznej oraz obiektów podwyższonego ryzyka. Problematyka bezpieczeństwa funkcjonalnego związana jest z międzynarodowymi normami IEC 61508 oraz IEC 61511. W artykule przedstawiono problematykę zintegrowanej oceny bezpieczeństwa funkcjonalnego wraz z uwzględnieniem analizy warstw zabezpieczeń...
-
Uzdatnianie barwnych wód podziemnych w układzie zintegrowanym - koagulacja, mikrofiltracja
PublikacjaW pracy przedstawiono wyniki badań w skali ułamkowo technicznej nad zastosowaniem procesów zintegrowanych - koagulacja, mikrofiltracja do uzdatniania wody podziemnej o podwyższonej barwie wywołanej obecnością związków humusowych oraz o podwyższonych stężeniach żelaza i manganu. Badania wykazały, że uzdatnianie tego typu wód w układzie zintegrowanym - koagulacja z mikrofiltracją, skutecznie pozwalało usunąć zarówno barwę jak i...
-
System Informacji Parkingowej w zintegrowanym systemie zarządzania ruchem TRISTAR
PublikacjaTechnologie korzystające z telematyki transportu oferują narzędzia służące wzmocnieniu systemów transportowych w miastach poprzez racjonalizację wykorzystania istniejącej infrastruktury, zwiększenie jej niezawodności oraz oddziaływanie na zmiany zachowań transportowych mieszkańców przy jednoczesnej redukcji kosztów funkcjonowania transportu. Główną przyczyną stosowania inteligentnych systemów zarządzania transportem jest konieczność...
-
Zintegrowane działania komunikacyjne w internecie na przykładzie marki Żywiec Zdrój Smako-Łyk
PublikacjaArtykuł ma na celu ukazanie przykładów angażowania polskich internautów w kampanie komunikacji marketingowej realizowane dla marki Żywiec Zdrój Smako-Łyk. Analizie poddano treści odnoszące się bezpośrednio do marki oraz wybranych kampanii online prowadzonych w latach 2009–2015. W ostatnich latach w Polsce można obserwować coraz więcej kampanii wykorzystujących potencjał, jaki mają w sobie internauci. Cenne pomysły można pozyskać...
-
Planowanie zintegrowane i monitoring rozwoju zrównoważonego obszarów lokalnych a ich zagospodarowanie dla turystyki
PublikacjaPrzez planowanie zintegrowane rozumie się planowanie kompleksowe, wieloaspektowe, łączące aspekty społeczno-gospodarcze i ekologiczne z aspektami przestrzennymi. Autorzy prezentują ideę rozwoju zrównoważonego, typy obszarów wiejskich i formy planowania w polskich gminach. Proponują zintegrowane planowanie rozwoju obszaru turystycznego. Formułują postulaty co do monitoringu rozwoju zrównoważonego obszarów lokalnych oraz sposobu...
-
Zintegrowany program szkoleniowy w procesie wdrażania nowoczesnych rozwiązań bezpieczeństwea funkcjonalnego w Polsce.
PublikacjaPrzedstawiono zarys koncepcji zintegrowanego programu szkoleniowego (zaproponowano program szkolenia na 3 poziomach: menadżerskim, specjalistycznym i eksperckim, który zakłada możliwość uzyskania odpowiednich certyfikatów kompetencji przez kadrę z różnych sektorów gospodarki), który ma na celu przygotowanie menadżerów, kadry technicznej i specjalistów krajowych przedsiębiorstw i instytucji do efektywnego wdrażania nowoczesnych...
-
Chemometria z lotu ptaka
PublikacjaRozwój technik pomiarowych i komputeryzacja przyrządów pomiarowych doprowadziły do ogromnego wzrostu ilości gromadzonych danych pomiarowych. We wszystkich sferach działalności badawczej zbierane są dane, które - nie poddane odpowiedniej analizie - jawią się jako niewiele mówiący chaos zalegający w elektronicznych nosnikach pamięci.Jednocześnie z tym procesem trwa rozwój metod analizy danych i wydobywania z nich użytecznej informacji....
-
Ład rynkowy a etyka biznesu
PublikacjaW artykule zwróciłem uwagę najpierw na istnienie związku działalności gospodarczej z działaniem etycznym. Podkreśliłem, że głównym celem działalności gospodarczej jest zachowanie rodzaju ludzkiego. Wskazałem, że rozumienie ekonomii nie jest możliwe bez uwzględnienia udziału w nim samego człowieka zarówno z jego skłonnościami, potrzebami, jak i wiedzą zdroworozsądkową, naukową, etc. Następnie próbowałem pokazać,...
-
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...