Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Olga Siedlecka-Lamch"'
Autor:
Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Andrzej Zbrzezny, Mirosław Kurkowski
Publikováno v:
Applied Sciences, Vol 14, Iss 22, p 10333 (2024)
This article introduces a new method for modelling and verifying the execution of timed security protocols (TSPs) and their time-dependent security properties. The method, which is novel and reliable, uses an extension of interpreted systems, accessi
Externí odkaz:
https://doaj.org/article/d26158a578204b63a90c016325d3a07e
Autor:
Maciej Bartlomiejczyk, Imed El Fray, Miroslaw Kurkowski, Sabina Szymoniak, Olga Siedlecka-Lamch
Publikováno v:
IEEE Access, Vol 10, Pp 16439-16455 (2022)
The way the internet is used by billions of users around the world has been revolutionized by mobile devices. The capabilities of smartphones are constantly growing, and the number of services available for mobile devices is also increasing. This und
Externí odkaz:
https://doaj.org/article/e28fd1be155d4e9e8a0819c89d951270
Autor:
Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
Publikováno v:
Sensors, Vol 21, Iss 9, p 3055 (2021)
For many years various types of devices equipped with sensors have guaranteed proper work in a huge amount of machines and systems. For the proper operation of sensors, devices, and complex systems, we need secure communication. Security protocols (S
Externí odkaz:
https://doaj.org/article/e4f6a24bac9848488d45bf0e86a182b9
Publikováno v:
Journal of Applied Mathematics and Computational Mechanics, Vol 15, Iss 2, Pp 119-125 (2016)
Externí odkaz:
https://doaj.org/article/9746d68f0ca144669dc355a4ff058989
Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits
Autor:
Olga Siedlecka-Lamch, Sabina Szymoniak
Publikováno v:
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f1e3fb6f731d1d547b263aa7cd941974
https://doi.org/10.5220/0011991400003464
https://doi.org/10.5220/0011991400003464
Publikováno v:
2022 IEEE 16th International Scientific Conference on Informatics (Informatics).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e8d2fe0a5e29b32fe0300b58ff70413
https://doi.org/10.1109/informatics57926.2022.10083488
https://doi.org/10.1109/informatics57926.2022.10083488
Autor:
Agnieszka Malgorzata Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Andrzej Zbrzezny, Miroslaw Kurkowski
Publikováno v:
SSRN Electronic Journal.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a1e6cd5a96a6f5c2ef353030b2f50fc
https://doi.org/10.2139/ssrn.4260042
https://doi.org/10.2139/ssrn.4260042
Autor:
Olga Siedlecka-Lamch
Publikováno v:
13th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2020) ISBN: 9783030578046
CISIS
CISIS
Modern communication protocols are complex programs, and only small parts inside them are security protocols, but they are critical parts. A small error is enough to disrupt the operation of the whole. Errors can occur during the implementation of pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b681e28322cba700b7b210f06aa9c94d
https://doi.org/10.1007/978-3-030-57805-3_14
https://doi.org/10.1007/978-3-030-57805-3_14
Publikováno v:
PDCAT
This paper presents our next research related to the use of SMT techniques for the analysis of security protocols. The behaviours of users and their changing knowledge during an investigated protocol executions are modelled as networks of communicati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c10d84153cf0d633ef60087ff5de688
https://doi.org/10.1109/pdcat46702.2019.00065
https://doi.org/10.1109/pdcat46702.2019.00065
Publikováno v:
2019 IEEE 15th International Scientific Conference on Informatics.
We live in a time of incredible technological development. In a fraction of a second, millions of information are generated and processed all over the world. The need to develop new models of databases is related to the dynamic and the amount of data
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::410057be7a5515bb23f14c65617e4eb5
https://doi.org/10.1109/informatics47936.2019.9119303
https://doi.org/10.1109/informatics47936.2019.9119303