Search
Filters
total: 677
filtered: 175
-
Catalog
Chosen catalog filters
Search results for: ROZPROSZONE APLIKACJE OBIEKTOWE
-
Aplikacje rozproszone jako bazowe usługi w inteligentnej przestrzeni obliczeniowej
PublicationZaprezentowano rozwój trendów w przetwarzaniu rozproszonym i ich wpływ na tworzenie nowego typu systemów przetwarzania informacji. Ten rodzaj systemów jest w sposób naturany zintegrowany ze środwiskiem, gdzie znajduje się użytkownik. Przedyskutowano sposób implementacji odpowiednich metod na bazie architekury SOA. Przedstawiono projekt inteligentnej ściany jako przykład tego rodzaju aplikacji.
-
Przegląd technologii baz danych - architektura systemu baz danych
PublicationRozdział jest zwięzłym przeglądem rozwoju architektury systemów z bazą danych. Opisano w nim relacyjne, obiektowe i obiektowo-relacyjne bazy danych. Ponadto przedstawiono zarys architektury dwu i trojwarstwowej. Wybór architektury systemu bazy danych i architektury współpracujących z nią aplikacji niejednokrotnie jest wypadkową możliwości realizacyjnych i zasobów (personel, oprogramowanie narzędziowe, sprzęt) jakie ma do dyspozycji...
-
Rozproszone systemy kogeneracji
PublicationPrzedstawiono rozproszone systemy kogeneracji . pokazano układy kogeneracyjne opalane gazem.
-
Rozproszone kolorowanie grafów
PublicationW pracy rozważany jest rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowe, rozproszone algorytmy kolorowania grafów wraz z dokładną analizą teoretyczną i wynikami eksperymentów obliczeniowych.
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublicationW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublicationArtykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...
-
Aplikacje i usługi a technologie sieciowe
PublicationObserwując tempo rozwoju technologii sieciowych oraz usług i aplikacji stajemy przed ogromnym dylematem jak wykorzystać istniejące możliwości by modernizować wybrane usługi i aplikacje zgodnie z ciągle zmieniającymi się potrzebami użytkowników. Bardzo często sygnalizowane nowe technologie czy aplikacje mają jednak czysto charakter biznesowy podporządkowany prawom marketingu i nie wnoszą wielu istotnych zmian. Dlatego jest ważne...
-
Sterowanie rozproszone układami zasilania bezprzerwowegopracującymi równolegle
PublicationW referacie przedstawiono propozycję jednofazowego systemu zasilania bezprzerwowego (UPS) zbudowanego w oparciu o pracujące równolegle moduły przekształtników DC-AC-DC-AC z separacją galwaniczną. Opisano opracowany i zastosowany w układzie system komunikacji pomiędzy modułami oparty na warstwie fizycznej CAN, obsługujący sterowanie rozproszone typu master-slave pozwalające na uzyskanie wysokiej dyspozycyjności systemu UPS. Układy...
-
Wybrane aplikacje
Publication -
Relacyjne i obiektowe bazy danych w zarządzaniu przedsiębiorstwem – przegląd i analiza porównawcza
PublicationBazy danych są obecnie powszechnie wykorzystywanymi aplikacjami w życiu codziennym i zawodowym do gromadzenia, przetwarzania i zarządzania danymi. Stanowią one podstawowe narzędzie komputerowe wspomagające funkcjonowanie przedsiębiorstw bez względu na rodzaj prowadzonej działalności. Najpopularniejszymi rozwiązaniami oferowanymi przez firmy informatyczne są relacyjne i obiektowe bazy danych. W artykule dokonano przeglądu dostępnych...
-
Rozproszone kolorowanie grafów
PublicationW pracy zaprezentowano nowy rozproszony algorytm kolorowania grafów. Przeprowadzone eksperymenty pokazują, że daje on lepsze wyniki niż znany wcześniej algorytm trywialny.
-
Rozproszone łamanie szyfrów
PublicationZaprezentowano podstawowe techniki łamania szyfrów symetrycznych i asymetrycznych o stosunkowo niewielkiej długości kluczy. Przedstawiono ogólną charakterystykę metod łamania szyfrów. Ilustracją tych metod jest zaprezentowana aplikacja służąca do łamania haseł lub badania odporności haseł na odgadnięcie.
-
Aplikacje i środowiska kontekstowe: Aplikacje internetowe na platformie Eclipse
PublicationPrzedstawiono problematykę tworzenia aplikacji internetowych na platformie Eclipse. Został omówiony standard OSGi, który jest podstawą działania i implementacji Eclipse oraz aspekty OSGi związane z komunikacją internetową. Przedstawiono istniejace frameworki w środowisku Eclipse, które umożliwiają rozwój aplikacji internetowych. Głównymi kierunkami rozwoju frameworków są: IDE do wytwarzania aplikacji oraz integracja platformy Eclipse...
-
Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast
PublicationSTRONA GŁÓWNAOBSZARY TEMATYCZNERADA NAUKOWARECENZENCIREDAKCJAINFORMACJE DLA AUTORÓWRECENZJAKONTAKT Strona główna > Numer 14/2017 > Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast METODY I APLIKACJE ZDALNEGO SZKOLENIA MIESZKAŃCÓW INTELIGENTNYCH MIAST Jerzy Balicki, Piotr Dryja, Waldemar Korłub, Maciej Tyszka Rozwój nowego rodzaju miast i regionów nazywanych smart cities pociąga za sobą nowy sposób...
-
Przyjazne aplikacje dla dzieci z autyzmem – e-edukacja na poziomie przedszkolnym
PublicationArtykuł dotyczy możliwości wykorzystania aplikacji na tablety do wspomagania terapii dzieci z zaburzeniami rozwojowymi ze spektrum autyzmu. Przedstawia studium przypadku skutecznego zastosowania e-technologii w kształceniu specjalnym na poziomie przedszkolnym. Artykuł opisuje zestaw aplikacji edukacyjnych o nazwie Przyjazne Aplikacje, których celem jest wspieranie terapii dzieci z autyzmem opartej o stosowaną...
-
Aplikacje i środowiska kontekstowe: Środowisko OSGi oraz definiowalna architektura SOA
PublicationPodejście komponentowe jest coraz częściej wykorzystywane jako metoda wytwarzania aplikacji. Artykuł ten omawia specyfikację OSGi, definiującą platformę dla działania usług, które mogą być dynamicznie instalowane, uaktualniane i usuwane bez konieczności restartu całego środowsika. Rozwinięciem specyfikacji OSGi jest programowalna architektura SOA. Dostarcza ona mechanizmu programowania, który wraz z zaproponowanym zunifikowanym...
-
Rozproszone przechowywanie zapasowych kopii danych
PublicationPokazano metodę wykorzystania systemu przetwarzania rozproszonego do zabezpieczenia instytucji przed skutkami ataku hakerskiego połączonego ze zniszczeniem bazy danych tej instytucji. Metoda ta polega na wplataniu pakietów danych do materiałów audio-video ściąganych przez internautów korzystających z serwisów filmowych Video-on-Demand i przechowywaniu danych w rozproszeniu na setki lub nawet tysiące komputerów.
-
Nauka w świecie cyfrowym okiem młodego inżyniera - metody i aplikacje wspomagające uczenie
PublicationW niniejszym artykule opisano metody uczenia się oraz popularne aplikacje wspomagające przyswajanie wiedzy. Jest to kontynuacja poprzedniej części, poświęconej procesowi uczenia oraz najpopularniejszym technikom. Zawarte informacje można traktować jako wskazówki dla osób w trakcie tzw. instytucjonalnej nauki - szkoła, studia, kursy doszkalające - związanej z ciągłą potrzebą samodoskonalenia i podnoszenia kwalifikacji.
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublicationArtykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...
-
Multimedia Applications for the Hearing Impaired.
PublicationJednym z elementów przeciwdziałania szybko narastającym zagrożeniom niedosłuchem są aplikacje oprate na nowoczesnych technologiach. W wyniku współpracy Katedry Systemów Multimedialnych PG z warszawskim Instytutem Fizjologii i Patologii Słuchu opracowano wdrożone na szeroką skale multimedialne systemy przesiewowych badań zmysłów komunikowania się. Ponadto, nowsze opracowania dotyczą maskowania szumów usznych z wykorzystaniem linearyzacji...
-
Skojarzone układy rozproszone zasilane paliwem gazowym.
PublicationOmówiono znaczenie stosowania w energetyce i ciepłownictwie skojarzonej gospodarki cieplno-elektrycznej. Przedstawiono pojęcie generacji rozproszonej oraz wskazano typowe przykłady technologii stosowanych w źródłach rozproszonych. Podano główne przyczyny zainteresowania nimi i rozwoju tych technologii. Scharakteryzowano, ostatnio zrealizowane w krajowym ciepłownictwie, wybrane przykłady zastosowań skojarzonych źródeł rozproszonych,...
-
Obliczenia rozproszone w syntezie obrazów parametrycznych
PublicationArtykuł prezentuje rozproszony system przetwarzania danych dla potrzeb syntezy obrazów parametrycznych. Zastosowano w tym celu metodę Compute Server.
-
Aplikacje informatyczne dla fotogrametrii i teledetekcji
PublicationMonografia podsumowuje prace aplikacyjne nad programami dedykowanymi dla kształcenia geodetów i kartografów na poziomie studiów wyższych. Autorzy prezentują możliwości włączenia w tok dydaktyczny programu do obliczeń fotogrametrycznych na zdjęciach metrycznych oraz analiz matematycznych na zdjęciach wykorzystywanych w pracach teledetekcyjnych. Czytelnik otrzymuje zasadnicze informacje o możliwościach oprogramowania a dla użytkowników...
-
Platforma i aplikacje przetwarzania strumieni danych
PublicationPrzedstawiono uogólniony schemat uzgadniania wymagań dotyczących bezpieczeństwa publicznego i na tej podstawie zaprezentowano koncepcję platformy KASKADA przeznaczonej do analizy strumieni multimedialnych. Opisano metodę wytwarzania i testowania takiej platformy oraz różne możliwości jej wykorzystania. Podano przykłady aplikacji zrealizowanych i wykonywanych na tej platformie.
-
Aplikacje informacyjne w kontroli finansowej w przedsiębiorstwie.
PublicationCelem rozprawy jest prezentacja możliwości komputerowego wspomagania kontroli finansowej w przedsiębiorstwie. Temu celowi podporządkowano jej zakres, w ramach którego dokonano: prezentacji historii i definicji pojęć związanych z kontrolą i systemem, omówiono rolę aplikacji informacyjnych w kontroli finansowej, podsumowano stan wiedzy odnośnie przedmiotu badania. Wykonano analizę metodologiczną modelowania opisowego i sformułowano...
-
Nowe aplikacje technologii hydrofitowej w gospodarce komunalnej
PublicationW pracy przedstawiono doświadczenia pracowników Wydziału Inżynierii Lądowej i Środowiska Politechniki Gdańskiej odnoszące sie do nowych zastosowań metody hydrofitowej w zagospodarowaniu ścieków i osadów ściekowych. W artykule przedstawiono wyniki badań dotyczące obiektów hydrofitowych: (I) lokalnych przeznaczonych do biologicznego oczyszczania ścieków (pochodzących od 15 do 750 mieszkańców) znajdujących się w Darżlubiu, Wieszynie,...
-
Rozproszone elektrociepłownie gazowe w woj. pomorskim. Cz. I
PublicationPrzedstawiono ideę skojarzonej gospodarki cieplno-elektrycznej oraz generacji rozproszonej.
-
Rozproszone elektrociepłownie gazowe w woj. pomorskim. Cz. II
PublicationScharakteryzowano nowo zrealizowane elektrociepłownie gazowe na terenie woj. pomorskiego.
-
Zapewnianie wiarygodności usług sieciowych wykorzystywanych przez aplikacje interaktywne
PublicationPrzedstawiono problematykę zapewniania wiarygodności waplikacjach interaktywnych i systemach typu ubiquitous/pervasive. Zostały opisane możliwości zapewniania wiarygodności z uwzględnieniem zarówno tradycyjnych metod jak i aspektów specyfcznych dla systemów interaktywnych. Zaproponowano moduł zapewniania wiarygodności rozwijany w ramach realizacjiśrodowiska wykonania aplikacji interaktywnych. Moduł ten umożliwiagromadzenie danych...
-
Object oriented grid computing for computational electromagnetics
PublicationArtykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...
-
Rozproszone systemy teleinformatyczne: inteligencja, autonomia, racjonalność i bezpieczeństwo kooperacji
PublicationWzrostowi inteligencji i autonomii podmiotów komunikacji systemów teleinformatycznych towarzyszy rozszerzanie paradygmatu analizy i projektowania w stronę podmiotów indywidualnie racjonalnych (egoistycznych). Wymaga to zastosowania metod teorii gier niekooperatywnych. W referacie pokazano przykłady zachowań egoistycznych określonych jako "wymuszanie pierwszeństwa" i "fałszywe tablice" odpowiednio w środowisku wireless multihoming...
-
Aplikacje i środowiska kontekstowe: Semantyczny model realizacji ludzkich przedsięwzięć
PublicationPrzedstawiono usystematyzowane podejście do opisu przedsięwzięć ludzkich i usług informacyjnych. Zaprezentowano środowisko WIKI jako platformę wspomagającą przetwarzanie zespołowe oraz zasygnalizowano dalsze trendy jej rozwoju. Wykazano potrzebę uwzględnienia kontekstu związanego z zespołem, realizowanym przedsięwzięciem oraz dziedziną, której ono dotyczy. Podano sposób budowy ontologii dla opisu wymaganych kontekstów.
-
Aplikacje i środowiska kontekstowe: Semantyczny workflow jako usługa złożona
PublicationPrzedstawiono przepływ pracy jako odzwierciedlenie procesu biznesowego oraz orkiestracji usług w ramach usługi złożonej na bazie przykładu procesu obsługi wniosku urlopowego. Zwrócono uwagę na dwupłaszczyznowe spojrzenie - zapisanie usługi jako prostgo workflow oraz przedstwaienie workflow jako usługi. Opisano potrzebę wykorzystania adnotacji semantycznych oraz sam proces kompozycji przepływu dla wytworzenia usługi złożonej. na...
-
STM32: Aplikacje i ćwiczenia w języku C. - M. Galewski. -
PublicationW książce przedstawiono nowoczesne, 32-bitowe mikrokontrolery z rodzeniem ARM Cortex-M3. Oprócz opisu poszczególnych ich podukładów, zawarto w niej przede wszystkim wiele przykładowych ćwiczeń, których zaawansowanie jest stopniowane, dzięki czemu czytelnicy są łagodnie wprowadzani w omawianie zagadnienia. Przykłady zamieszczone w książce są bardzo różnorodne, bazują m.in. na czujnikach przyspieszenia i ciśnienia MEMS, interfejsie...
-
Najnowsze doświadczenia i aplikacje metody hydrofitowej w gospodarce komunalnej
PublicationSystemy hydrofitowe od ponad pięciu dekad są stosowane w gospodarce komunalnej wielu krajów i stają się coraz bardziej popularne również w Polsce. Pomimo zdobytych doświadczeń z eksploatacji tysięcy obiektów funkcjonujących na świecie wciąż prowadzone są badania nad rozpoznaniem i możliwością kontrolowania procesów zapewniających usuwanie różnych zanieczyszczeń i mikrozanieczyszczeń ze ścieków. W kolejnych publikacjach autorzy...
-
Rozproszone, skojarzone układy gazowo-parowe w krajowej energetyce i ciepłownictwie
PublicationScharakteryzowano układy technologiczne kilku wybranych elektrociepłowni zasilanych różnorodnym paliwem gazowym.
-
Rozproszone, skojarzone układy gazowo-parowe w krajowej energetyce i ciepłownictwie
PublicationPrzedstawiono i scharakteryzowano ostatnio zrealizowane w krajowej energetyce wybrane przykłady układów gazowo-parowych realizujących skojarzoną gospodarkę cieplno-elektryczną.
-
Aplikacje internetowe w fotogrametrii i w systemach informacji geograficznej (GIS)
PublicationPrezentacja obejmowała pokaz funkcjonalny systemu PI-3000 Topcon wraz z odwołaniem się do podstaw naukowych wykonywania opracowań fotogrametrycznych z użyciem zdjęć cyfrowych z niemetrycznych aparatów fotograficznych.
-
Aplikacje i środowiska kontekstowe: Ontologie w interaktywnych aplikacjach zorientowanych kontekstowo
PublicationPrzedstawiono model przetwarzania typu pervasive computing. Zanalizowano składowe aplikacji interaktywnej zorientowanej kontekstowo. Opisano architekturę takiej aplikacji, wykorzystującej usługi sieciowe, konteksty, scenariusze i ontologie. Scharakteryzowano metodę integracji tych elementów w wykorzystaniem adnotacji. zaproponowano motor wykonawczy dla kontenera usług sieciowych, bazujący na standardach: OSGi OWL-S
-
Rozproszone mechanizmy obrony przed niekooperacyjnym zachowaniem węzłów w wieloskokowych sieciach bezprzewodowych
PublicationW chwili obecnej rosnącym zagrożeniem dla funkcjonowania sieci staje się niekooperacyjne zachowanie węzłów, tzn. ataki polegające na przyjęciu przez nie procedur funkcjonowania niezgodnych ze standardem, aby uzyskać niesprawiedliwą przewagę nad innymi węzłami.Jest to możliwe na skutek obecnego podejścia do projektowania mechanizmów sieciowych, nastawionego na maksymalizację ogólnej efektywności przy jednoczesnym założeniu pełnej...
-
Nauka w świecie cyfrowym okiem młodego inżyniera - mobilne aplikacje cross-platformowe
PublicationIstotnym punktem w analizie technologii mobilnych jest poznanie opinii osób z nimi zaznajomionych. W niniejszym artykule przedstawione zostaną wyniki badań dotyczących porównania technologii cross-platformowych (uniwersalnych) i natywnych (dedykowanych), w których uwzględniono opinie i doświadczenia deweloperów pracujących w obszarze technologii mobilnych. Badanie miało na celu zrozumienie preferencji, wyzwań i korzyści związanych...
-
Czynniki wpływające na magnetyczne pole rozproszone elementów konstrukcyjnych wykonanych ze stali węglowych
PublicationPrzeprowadzono badania próbek wykonanych ze stali węglowej lokalnie odkształconych plastycznie. Badano wpływ lokalnej deformacji na rozkład magnetycznego pola rozproszonego wokół próbek w zależności od warunków panujących podczas deformowania oraz wykonywania pomiarów. Na podstawie porównania rezultatów otrzymanych dla próbek o różnej historii stwierdzono, iż rejestrowane anomalie rozkładu MPR są spowodowane w głównej mierze przepływem...
-
Zapewnianie progowego poziomu obecności w sieci sensorowej obsługującej aplikacje typu smart grid
PublicationRozważono bezprzewodową sieć sensorową z pewną liczbą węzłów oraz pojedynczym ujściem, pełniącym także funkcje zarządcze Założono, że sieć sensorowa, w celu wykonywania powierzonego jej zadania, musi utrzymywać określoną liczbę węzłów w stanie włączonym w każdym momencie życia sieci. Jest to zadanie trywialne, gdy węzły mogą być wyłączane tylko po otrzymaniu odpowiedniej komendy od zaufanego nadzorcy. Jednakże przy założeniu podatności...
-
It applications for the remote testing of hearing.
PublicationTelemedycyna odgrywa coraz wiekszą rolę w diagnostyce i leczeniu osób z ubytkami słuchu. Jest to związane m.in. ze specyfiką badań audiometrycznych. Postęp technologiczny w dziedzinie aparatów słuchowych i implantów ślimakowych wymusza nowe metody diagnozy w audiologii, jak również w praktyce otolaryngologicznej. Serwis ''Telezdrowie'', w którym zaimplementowano liczne testy przesiewowe jest przykładem prowadzenia diagnostyki w...
-
Rozproszone usługi obliczeniowe na klastrach TASK z dostępem przez WWW i Web Services.
PublicationArtykuł omawia architekturę i doświadczenia wstępnych faz specyfikacji wymagań i analizy projektu, który umożliwi zdalne wykorzystanie równoległych klastrów i/lub superkomputerów sieci TASK przez użytkowników z rozproszonych geograficznie lokalizacji. System zapewni dotychczasowym i nowym użytkownikom klastrów i superkomputerów TASK zdalne uruchamianie i zarządzanie aplikacjami, bibliotekami równoległymi i sekwencyjnymi poprzez...
-
Systemy rozproszone cechujące się sztuczną inteligencją do wspomagania zarządzania bankami w warunkach kryzysowych
PublicationW pracy rozważa się techniki zwiększenie efektywności sektora bankowego za pomocą wprowadzenia zaawansowanych usług sieciowych. Kluczowe znaczenie odgrywają systemy eksperckie, które przy wykorzystaniu botów umożliwiają znaczącą poprawę szeregu aspektów komunikacji. Natomiast za pomocą algorytmu genetycznego możliwe jest znaczące skrócenie czasu reakcji systemu w odniesieniu do systemów projektowanych bez uwzględnienia optymalizacji...
-
Isotropic damage in viscoplastic flow conditions, fem applications with practical examples
PublicationW pracy omówiono niektóre zagadnienia zniszczenia w warunkach płynięcia lepkoplastycznego. Podano podstawowe prawa konstytutywne jakie mogą tu być zastosowane oraz sposoby identyfikacji parametrów materiałowych. Pokazano przykład zastosowania.
-
Efektywna metoda replikacji stanu dynamicznie powiązanych obiektów rozproszonych.
Publication.
-
Influence of Exception Handling on Distributed Applications.
PublicationW artykule przedstawiono metodologię oceny systemów rozproszonych w sytuacji występowania wyjątków i błędów. Analiza jest przeprowadzana przez zidentyfikowanie zmian stanów danych i wyprowadzenie ogólnych charakterystyk systemu. Rozproszone zależności są modelowane przez podstawowe zależności między metodami i złożone zależności występujące w sytemie. Analiza umożliwia odpowiedź na pytanie, jak zależności rozproszone wpływają na...
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...