Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "weryfikacja danych" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
    Use of LOTOS language in modeling HOOD method structures
    Autorzy:
    Brzuchcz, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/320396.pdf
    Data publikacji:
    2006
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    systemy czasu rzeczywistego
    weryfikacja oprogramowania
    algebry procesów
    abstrakcyjne typy danych
    LOTOS
    HOOD
    real-time systems
    software verification
    process algebras
    abstract data types
    Opis:
    W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowadzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wskazaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.
    The article presents a possibility of using LOTOS [3, 7] formal language in the HOOD [6, 13] real-time system design. Process algebras and abstract data types are used to express some HOOD structures in order to allow formal analysis of the system. The introduction explains the motivations and the goal of the work. Then, there is a brief survey of the HOOD hierarchical design method in the next point. It states as the base for the formalization method explained in the article. The notions of module, interface, operation, use and include relations are briefly explained. After it, the simple LOTOS language constructs are also presented. Next point explains the formalization of the HOOD structures. This is the most essentials part of the work where the method is presented on the exemplary HOOD diagram. LOTOS code is produced relate to the HOOD informal semantic. It expresses the main concepts of the HOOD dynamic model. There are the conclusions and further works proposals at the end of the article.
    Źródło:
    Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
    1640-7202
    Pojawia się w:
    Elektrotechnika i Elektronika
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelowanie promieniowania słonecznego na płaszczyzny pochylone
    Modelling of solar radiation on tilted surfaces
    Autorzy:
    Włodarczyk, D.
    Nowak, H.
    Powiązania:
    https://bibliotekanauki.pl/articles/362798.pdf
    Data publikacji:
    2007
    Wydawca:
    Instytut Fizyki Budowli Katarzyna i Piotr Klemm
    Tematy:
    promieniowanie słoneczne na płaszczyzny pochylone
    modele teoretyczne
    pomiar danych aktynometrycznych
    weryfikacja statystyczna modeli
    solar radiation
    Opis:
    Poprawne modelowanie wartości natężenia promieniowania słonecznego na płaszczyzny pochylone jest jednym z kluczowych elementów projektowania urzadzeń i rozwiązań architektonicznych energetyki słonecznej. W artykule przedstawiono najczęściej wykorzystywane modele obliczeniowe bazujące na danych promieniowania słonecznego na płaszczyźną horyzontalną tzn. modele: izotropowy [6] oraz anizotropowe: Hay'a [2], Reindla [II] i Pereza [9]. Wartości generowane przez w/w modele porównano z bazą danych natężenia promieniowania słonecznego na płaszczyzny pochylone pomierzoną w Laborato- rium Fotowoltaicznym SolarLAB Politechniki Wrocławskiej. Do obliczeń wykorzystano standardową wartość albedo równą 0,20 oraz średnie miesięczne dane albedo dla terytorium Polski [10]. Wykazano, że modele anizotropowe generują znacznie dokładniejsze wyniki od modelu izotropowego.
    A proper modelling of solar radiation on tilted surfaces is one of the most important elements of design of solar energy devices and architectural solutions. In article the most common used theoretical models of solar radiation on tilted surfaces are presented: isotropic [6] and anisotropic models: Hay [2], Reindl [11] and Perez [9]. Theoretical data from these models were compared with solar radiation on tilted surfaces database measurend at Photovoltaic Laboratory SolarLAB in Wrocław. a standard value of albedo 0,20 and monthly mean albedo data for Poland [10] were used in calculations. Results of performed analysis show that data generated by anisotropic models is much more accurate than data from isotropic model.
    Źródło:
    Fizyka Budowli w Teorii i Praktyce; 2007, T. 2; 305-310
    1734-4891
    Pojawia się w:
    Fizyka Budowli w Teorii i Praktyce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wykorzystanie przebiegów rejestracji szybkozmiennych do weryfikacji modeli dynamicznych KSE
    Autorzy:
    Klucznik, J.
    Dobrzyński, K.
    Lubośny, Z.
    Trębski, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/397352.pdf
    Data publikacji:
    2011
    Wydawca:
    ENERGA
    Tematy:
    Krajowy System Elektroenergetyczny
    model dynamiczny
    weryfikacja danych
    modelowanie
    National Power System
    dynamic model
    verification of data
    modelling
    Opis:
    W artykule przedstawiono koncepcję narzędzia pozwalającego na weryfikowanie parametrów modeli dynamicznych elementów KSE. Narzędzie wykorzystuje program obliczeniowy PSLF, stosowany powszechnie przez operatora systemu przesyłowego. Nowatorstwo polega na wykorzystaniu dodatkowej aplikacji (programu w systemie MS Windows), która steruje pracą programu obliczeniowego. Powstaje w ten sposób tandem wygodnego interfejsu użytkownika, umożliwiającego sterowanie i analizowanie uzyskiwanych wyników, oraz programu obliczeniowego – silnika pozwalającego na symulowanie stanów pracy systemu elektroenergetycznego. Algorytmy optymalizacyjne zawarte w aplikacji dopasowują odpowiedź uzyskiwaną z symulacji do rzeczywistego przebiegu, zarejestrowanego na podlegającym weryfikacji obiekcie, oceniając poprawność danego modelu.
    Źródło:
    Acta Energetica; 2011, 3; 31-37
    2300-3022
    Pojawia się w:
    Acta Energetica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rejestr i ewidencja zabytków nieruchomych oraz ruchomych w działaniach Narodowego Instytutu Dziedzictwa
    The role and tasks of the Monument Record and Register Department in the organisational structure of National Heritage Board of Poland
    Autorzy:
    Szałygin, Jerzy
    Powiązania:
    https://bibliotekanauki.pl/articles/536351.pdf
    Data publikacji:
    2012
    Wydawca:
    Narodowy Instytut Dziedzictwa
    Tematy:
    ODZ
    KOBiDZ
    NID
    rejestr zabytków
    zabytki nieruchome
    zabytki ruchome
    zabytki archeologiczne
    ewidencja zasobu zabytkowego
    dokumentacja
    karta zielona
    karta biała
    karta adresowa
    ewidencja parków
    karta cmentarza
    teczka urbanistyczna
    karta zabytków sztuki i rzemiosła artystycznego
    karta ewidencyjna ruchomych zabytków techniki
    bazy danych
    weryfikacja rejestru zabytków
    Opis:
    The National Heritage Board of Poland continues directly the activity of the first institution dealing with the collection, elaboration and popularisation of knowledge on historical monuments in Poland – the Centre for Documentation of Monuments, which was established in 1962. The organisational structure of the institution evolved, but among its priority tasks there were still documentation-related works: collection, elaboration and making available of the record of monuments in the form of record documentation and legal documentation of all registered monuments. The department which has carried out these tasks in a virtually unaltered manner is the current Monument Record and Register Department. The current tasks of the Department include also the elaboration of documentation standards, preparation of the record, keeping of the register of monuments and training of conservation services in this respect. Currently we are also supervising the performance of the monument register verification project – the description of the resource of monuments in Poland. These activities make it possible to provide successive generations with knowledge on the material culture of our ancestors, on authentic, transformed or defunct objects, complexes of objects and the cultural landscape. Our documentations are used in scientific studies and research works and constitute a basis for conservation projects. They are used for restoring the destroyed and defunct objects that constitute a significant element of national heritage. The Monument Record and Register Department collects, elaborates and provides access to knowledge on monuments in Poland in a continuous manner (under various names). MRRD collects duplicates of the documentation of monuments forming a part of the collection of the national record of monuments, which is elaborated for the needs of voivodeship conservators and by voivodeship conservators of monuments, that are sent to NHBP. The record as a form of documentation dates back to the middle of the 18th century and its legal grounds were established in 1928. The following record documentations are kept in the Monument Record and Register Department (amount as at 31.12.2011): • record cards of monuments of architecture and historic buildings (138,304 items, including 104,420 white cards and 33,884 green cards), • address cards of monuments (650,000), • records of historic greens (9,249), • record cards of cemeteries (25,367), • town planning files (1,274), • cards of movable monuments (371,876), • record cards of movable monuments of technology (9,710). Other forms of record documentation being used currently are the communal record of monuments and record lists of monuments. The regular updating of the list of shortages is one of the elements of the keeping of the central record of monuments in the activity of MRRD. Many activities concerning the documentation of monuments are performed in accordance with the well-established tradition. The challenging process that is necessary to carry out is the digitalisation of collections of the record. The central register of monuments has been kept as a primary form of monument protection since 1962. The Department maintains a uniform database system, which is understood as a specially developed kind of software (Multiarch). The database of objects entered into the register of monuments that is kept in NHBP is the only database in Poland that encompasses all legally protected non-movable and movable monuments. The verification of the register of nonmovable movements is an important task co-ordinated by the Monument Record and Register Department, which has been carried out by Local Divisions of NHBP since the end of 2008. Long-term plans of verification of the register of monuments apply to movable monuments, too. In practice, the performance of the main aforementioned tasks is often connected with additional activities, part of which is a consequence of the employees’ own initiative, knowledge and commitment as well as identification with the 50-year tradition and achievements of NHBP’s predecessors.
    Źródło:
    Ochrona Zabytków; 2012, 1-2; 117-158
    0029-8247
    Pojawia się w:
    Ochrona Zabytków
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie wybranych procedur do wykrywania obserwacji nietypowych w ocenie jakości rzek
    Testing procedures for detection of observation influential for river assessment
    Autorzy:
    Budka, A.
    Kayzer, D.
    Pietruczuk, K.
    Szoszkiewicz, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/60620.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Stowarzyszenie Infrastruktura i Ekologia Terenów Wiejskich PAN
    Tematy:
    rzeki
    rzeka Glomia
    rzeka Mogielnica
    woda
    ocena jakosci
    badania chemiczne
    formy azotu
    formy fosforu
    obserwacje nietypowe
    weryfikacja danych
    testy statystyczne
    test Q-Dixona
    test Grubbsa
    test Hampela
    test kwartylowy
    Opis:
    Wartości odstające są częstym problemem występującym w zbiorze obserwacji zmiennych ekologicznych i wielokrotnie przyczyniają się do istotnych zmian w końcowej klasyfikacji jakości ekosystemów wodnych. Identyfikacja wartości odstających pozwala ograniczyć różne źródła błędów w monitoringu środowiska, którymi to mogą być człowiek, urządzenia wykorzystywane w badaniach, metoda lub inny czynnik losowy. Niniejsza praca analizuje sposoby weryfikacji wyników w przypadku występowania w nich wartości odstających. W odniesieniu do tego problemu zastosowano wybrane testy statystycznye. Do analiz użyto testów: Q- Dixona, Grubbsa, Hampela, kwartylowy. Testy te były oceniane pod względem czułości detekcji wartości nietypowych. Zbiór danych na którym prowadzone były analizy składał się z comiesięcznych analiz zawartości różnych form azotu oraz fosforu w wodzie. Badania przeprowadzono w 2010 roku na dwóch wielkopolskich rzekach (Głomia i Mogielnica) reprezentujących różny stopień degradacji.
    Outliers are a common problem occurring in a set of environmental variables and such the observations often disturb significantly the final classification of the quality of aquatic ecosystems. Identification of outliers can reduce various sources of error in environmental monitoring, which can be caused by a person, equipment or method as well as other random factor. This paper examines how to detect outliers by using some statistical tests. Four tests were analysed: Q-Dixon, Grubbs, Hampel and quartiled. All of them were evaluated in terms of detection sensitivity of typical outliers. The analytical dataset consisted of a monthly analysis of the various forms of nitrogen and phosphorus in the water. The study was conducted Turing the single year (2010) in two rivers in Wielkopolska region (Głomia and Mogielnica) representing different degrees of degradation.
    Źródło:
    Infrastruktura i Ekologia Terenów Wiejskich; 2013, 3/II
    1732-5587
    Pojawia się w:
    Infrastruktura i Ekologia Terenów Wiejskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O konieczności wykonania drugiej edycji Szczegółowej Mapy Geologicznej Sudetów w skali 1 : 25 000 : przykłady rewizji budowy geologicznej z wykorzystaniem podkładu lidarowego numerycznego modelu powierzchni terenu
    About the need to develop the second edition of the detailed geological map of the Sudetes at the scale of 1 : 25,000 : examples of a revision of the geological pattern using the LIDAR Digital Elevation Models
    Autorzy:
    Wojewoda, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/2075533.pdf
    Data publikacji:
    2016
    Wydawca:
    Państwowy Instytut Geologiczny – Państwowy Instytut Badawczy
    Tematy:
    mapy geologiczne
    weryfikacja danych
    podkład lidarowy
    geological maps
    data revision
    LIDAR DEM
    Opis:
    The currently available map sheets issued under the edition of the Detailed Geological Map of the Sudetes at the scale of1 : 25,000 (SMGS25), and especially those compiled in the 1950s and 1960s, does not meet the requirement of uniformity and accuracy of mapping, and they do not contain some key information that has been acquired as a result of multidisciplinary geological studies in the Sudetes over the last half-century. New research tools, such as LIDAR models of the land surface (DEM), allow for partial migration of data and (or) the implementation of recent research results, however, it should be verified by experienced geologists in the field. This is documented by two examples of their use to different areas in the Sudetes, which are composed primarily of sedimentary rocks.
    Źródło:
    Przegląd Geologiczny; 2016, 64, 9; 597--603
    0033-2151
    Pojawia się w:
    Przegląd Geologiczny
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Usage of modal test in verification of numerical model
    Autorzy:
    Więckowski, J.
    Odyjas, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/1190011.pdf
    Data publikacji:
    2016
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    analiza modalna
    analiza numeryczna
    weryfikacja danych
    modal analysis
    fans vibrations
    numerical simulation
    Opis:
    Tuning of the numerical model is very important step during designing process. Correctly tuned model ensures proper evaluation of dynamic characteristics of vibrating object. This paper presets comparison of experimental modal analysis and theoretical numerical modal test of axial fan casing. Thanks to properly tuned model, it was possible to receive results of the numerical simulations similar to real test.
    Źródło:
    Interdisciplinary Journal of Engineering Sciences; 2016, 4, 1; 42--44
    2300-5874
    Pojawia się w:
    Interdisciplinary Journal of Engineering Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wykorzystanie modeli danych do weryfikacji implementacji wzorców projektowych
    Autorzy:
    Wojszczyk, R.
    Khadzhynov, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/118470.pdf
    Data publikacji:
    2016
    Wydawca:
    Politechnika Koszalińska. Wydawnictwo Uczelniane
    Tematy:
    wzorce projektowe
    model danych
    ERD
    weryfikacja oprogramowania
    design patterns
    data model
    verifying implementation
    Opis:
    Wzorce projektowe to zagadnienie szeroko opisywane w uznanej literaturze i wykorzystywane przez wielu programistów, ale mimo to nie ma nad nimi formalnej kontroli. W artykule poruszony został problem weryfikacji implementacji wzorców projektowych stosowanych w programowaniu obiektowym. W procesie weryfikacji wyróżniono dwa modele danych: formalną reprezentację będącą ekwiwalentem badanego oprogramowania oraz repozytorium implementacji wzorców zawierające informacje opisujące implementację wzorców projektowych. Opracowane rozwiązanie pozwoli wykazać błędy i potencjalne problemy w implementacji.
    Although the design patterns constitute the issue that has been widely discussed in the literature and used by many software developers, there is no formal control over them. The article discussed the problem of verifying the implementation of design patterns applied in object-oriented programming. Two following data models were distinguished in the process of verification: a formal representation that is an equivalent of the analysed software, and a repository of implementation of patterns containing information describing the implementation of design patterns. The proposed solution will make it possible to show implementation errors and potential problems.
    Źródło:
    Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2016, 10; 193-209
    1897-7421
    Pojawia się w:
    Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Weryfikacja danych podczas zawierania umów internetowych i bezpieczeństwo danych w sieci
    Autorzy:
    Górska, Marta
    Powiązania:
    https://bibliotekanauki.pl/articles/1409273.pdf
    Data publikacji:
    2019
    Wydawca:
    Collegium Witelona Uczelnia Państwowa
    Tematy:
    weryfikacja danych
    umowy internetowe
    bezpieczeństwo dziecka
    Opis:
    Celem tego artykułu jest przedstawienie, w jaki sposób nasze dane są weryfikowane podczas zawierania jakichkolwiek umów w Internecie. Należy wykazać, jakie zabezpieczenia mają portale oraz jakie niebezpieczeństwa wynikają z braku zabezpieczeń. Artykuł koncentruje się na umowach zawieranych przez młodych ludzi korzystających z płatności elektronicznych i zwraca szczególną uwagę na umowy zawierane przez dzieci. Obserwacja funkcjonowania w rzeczywistości wirtualnej sugeruje przyjrzenie się tworzeniu profili na portalach społecznościowych i konsekwencje zawierania takich umów. Dane dostarczone podczas rejestracji i umieszczone w ramach korzystania z oferowanej usługi są wykorzystywane w innych procesach. Zakres analizy pokazuje, że powinniśmy nadzorować działalność w sieci młodzieży i edukować je, jak mądrze korzystać z Internetu.
    Źródło:
    Zeszyty Naukowe Państwowej Wyższej Szkoły Zawodowej im. Witelona w Legnicy; 2019, 3, 32; 97-105
    1896-8333
    Pojawia się w:
    Zeszyty Naukowe Państwowej Wyższej Szkoły Zawodowej im. Witelona w Legnicy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kilka uwag na temat możliwości ustalenia wysokości kosztów procesu karnego w Polsce w drodze wnioskowania statystycznego
    A few remarks on estimating criminal trial costs in Poland by means of inferential statistics
    Autorzy:
    Florczak, Waldemar
    Powiązania:
    https://bibliotekanauki.pl/articles/2140646.pdf
    Data publikacji:
    2022-10-04
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    accounting records
    query data
    representative sample
    verification of statistical hypotheses
    dane księgowe
    kwerenda danych
    próba reprezentatywna
    weryfikacja hipotez statystycznych
    Opis:
    Przedmiot badań: Przedmiot badań stanowią szacunki kosztów procesu karnego w Polsce przy użyciu dostępnych danych zastanych i ankietowych. Cel badawczy: Celem artykułu jest próba empirycznej odpowiedzi na kilka ważkich pytań związanych z możliwością pomiaru wysokości kosztów procesu karnego w polskim sądownictwie. Metoda badawcza: Do realizacji celu badawczego wykorzystano dane zastane z oficjalnych raportów księgowych, prowadzonych na szczeblu wybranych sądów, oraz podjęto starania o ich zaczerpnięcie ze źródeł bezpośrednio afiliowanych przy Ministerstwie Sprawiedliwości. Wysiłki te nie doprowadziły do oczekiwanych efektów; jedynym źródłem informacji w w/w obszarze okazała się baza danych utworzona na potrzeby realizacji grantu NCN nr 2015/19/B/HS5/01217 „Koszty procesu karnego w świetle ekonomicznej analizy prawa”, kierowanego przez dr hab. Dobrosławę Szumiło-Kulczycką, prof. UJ. Informacje zawarte w tej bazie posłużyły do sformułowania kilku hipotez badawczych – poniżej intencjonalnie przedstawionych w formule pytań – których weryfikacji dokonano za pomocą adekwatnych narzędzi statystyki matematycznej (testdwóch średnich, metoda ANOVA, test wielu proporcji). Wyniki: Pomimo że utworzona baza danych stanowi bezprecedensowe i najpełniejsze źródło wiedzy w zakresie ilościowych, kosztowych aspektów procesu karnego w Polsce, to jednak próba generalizacji wniosków, które mogłyby być sformułowane na jej podstawie na populację wszystkich sądów w Polsce, musi być bardzo ostrożna. W świetle przeprowadzonego w tym artykule badania zgromadzone w bazie dane nie mogą być bowiem uznane za w pełni reprezentatywne. Ponadto – warunkowo względem wniosku poprzedzającego – zróżnicowanie przedmiotowe spraw karnych nie tłumaczy w sposób jednoznaczny różnic w kosztach procesu karnego.
    Background: The paper attempts to estimate criminal trial costs in Poland by means of existing official data as well as survey data dedicated to such costs. Research purpose: The paper aims to empirically answer several weighty questions concerning the estimation of criminal trial costs in Poland. Methods: An attempt was made to benefit from existing official data found in accounting records reported regularly by individual courts of justice, as well as by the Ministry of Justice. However, both attempts failed, so the only credible source of data was the database elaborated within research project no 2015/19/B/HS5/01217 “Criminal trial costs in the light of law and economics analysis”, funded by the National Science Centre of Poland (NCN), and supervised by Prof. Dobroslawa Szumilo-Kulczycka, PhD from the Jagiellonian University. Information collected in the database enabled the author to formulate a few research hypotheses – presented in the form of brief questions – to be verified using appropriate statistical methods (test for two means, ANOVA method, multi proportions test). Conclusions: Although the database elaborated for the NCN project constitutes an unprecedented source of credible data regarding criminal trial costs in Poland, any attempts to generalize possible conclusions that could be drawn on the basis of this data for all Polish courts must be cautious. This is because, in the light of the statistical analyses carried out in this investigation, the data cannot be regarded as fully representative. Additionally, diversification in the structure of criminal acts across individual courts cannot explain the actual differences in the criminal trial costs reported by individual courts .  
    Źródło:
    Studia Prawno-Ekonomiczne; 2022, 124; 101-119
    0081-6841
    Pojawia się w:
    Studia Prawno-Ekonomiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Trivializing verification of cryptographic protocols
    Autorzy:
    Piątkowski, Jacek
    Szymoniak, Sabina
    Powiązania:
    https://bibliotekanauki.pl/articles/38704303.pdf
    Data publikacji:
    2023
    Wydawca:
    Instytut Podstawowych Problemów Techniki PAN
    Tematy:
    security protocol verification
    tree visualisation
    hierarchical data structure
    weryfikacja protokołu bezpieczeństwa
    wizualizacja drzewa
    hierarchiczna struktura danych
    Opis:
    One of the main problems of the digital world is information security. Every second, peopleprocess millions of pieces of information that must be protected from unauthorized access. Cryptographic protocols that define the communication plan and the cryptographictechniques used to secure the messages come to the rescue. These protocols should alsobe regularly verified regarding their ability to protect systems from exposure to threatsfrom the computer network. Bearing in mind the need to secure communication, verify thecorrect operation of security methods and process large amounts of numerical data, we decided to deal with the issues of modeling the execution of cryptographic protocols and theirverification based on the CMMTree model. In this article, we present a tool that verifiesa protocol’s security. The tool allows for modelling a protocol and verifying that the pathin the execution tree represents an attack on that protocol. The tool implements a specially defined hierarchy of protocol classes and a predicate that determines whether a nodecan be attached to a tree. We conducted a number of tests on well-known cryptographicprotocols, which confirmed the correctness and effectiveness of our tool. The tool foundthe attack on the protocols or built an execution tree for them.
    Źródło:
    Computer Assisted Methods in Engineering and Science; 2023, 30, 4; 389-406
    2299-3649
    Pojawia się w:
    Computer Assisted Methods in Engineering and Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies