Advanced search ?

Object

Security Verification in the Context of 5G Sensor Networks, Journal of Telecommunications and Information Technology, 2021, nr 2
Download

Title: Security Verification in the Context of 5G Sensor Networks, Journal of Telecommunications and Information Technology, 2021, nr 2

Creator:

Remlein, Piotr ; Stachowiak, Urszula

Date:

2021, nr 2

Resource Type:

artykuł

Description:

In order to develop reliable safety standards for 5G sensor networks (SN) and the Internet of Things, appropriate verification tools are needed, including those offering the ability to perform automated symbolic analysis process. The Tamarin prover is one of such software-based solutions. It allows to formally prove security protocols. This paper shows the modus operandi of the tool in question. Its application has been illustrated using an example of an exchange of messages between two agents, with asynchronous encryption. The scheme may be implemented, for instance, in the TLS/DTLS protocol to create a secure cryptographic key exchange mechanism. The aim of the publication is to demonstrate that automated symbolic analysis may be relied upon to model 5G sensor networks security protocols. Also, a use case in which the process of modeling the DTLS 1.2 handshake protocol enriched with the TCP SYN Cookies mechanism, used to preventing DoS attacks, is presented

Publisher:

National Institute of Telecommunications

Format:

application/pdf

Resource Identifier:

ISSN 1509-4553, on-line: ISSN 1899-8852 ; oai:bc.itl.waw.pl:2186

Source:

Journal of Telecommunications and Information Technology

Language:

ang

Rights Management:

Biblioteka Naukowa Instytutu Łączności

Subject and keywords:

sensor networks security protocols 5G Internet of Things automated symbolic analysis

Object collections:

Last modified:

Feb 25, 2026

In our library since:

Jul 13, 2021

Number of object content hits:

85

All available object's versions:

https://bc.itl.waw.pl/publication/2486

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Edition name Date
Remlein, Piotr; Stachowiak, Urszula, Security Verification in the Context of 5G Sensor Networks, Journal of Telecommunications and Information Technology, 2021, nr 2 Feb 25, 2026

Objects Similar
Instytut Łączności wobec wyzwań związanych z wdrażaniem sieci 5G w Polsce, Telekomunikacja i Techniki Informacyjne, 2018, nr 1-2

Krawiec Piotr Gajewski Mariusz Sienkiewicz Konrad Mongay Batalla Jordi Wiśniewski Piotr Latoszek Waldemar

2018, nr 1-2
artykuł
2024, nr 3, JTIT-artykuły
2024, nr 3, JTIT-artykuły
A Review of Isolation Techniques for 5G MIMO Antennas, Journal of Telecommunications and Information Technology, 2024, nr 3

Kaur, Parminder Malhotra, Shivani Sharma, Manish

2024, nr 3
artykuł
2025, nr 1, JTIT-artykuły
2025, nr 1, JTIT-artykuły
Ultra-wideband Antenna System Design for Future mmWave Applications, Journal of Telecommunications and Information Technology, 2025, nr 1

Muhsin, Muhannad Y. Muqdad, Zainab S. Sahar, Asaad H. Mohammad, Zainab F. AL-Saedi, Hussam

2025, nr 1
artykuł
5G New Business Opportunities – New Business Models, Pricing, and Use Cases, Journal of Telecommunications and Information Technology, 2021, nr 2

Valdar, Andy McCarthy-Ward, Peter Newstead, Stuart Revell, Stuart

2021, nr 2
artykuł
5G Is Out There: How to Ride the Market Storm and Thrive, Journal of Telecommunications and Information Technology, 2021, nr 2

Smith, Edward Ugolini, Mauro

2021, nr 2
artykuł
Energy Efficiency in 5G Communications – Conventional to Machine Learning Approaches, Journal of Telecommunications and Information Technology, 2020, nr 4

Shahid, Muhammad Khalil Eyob, Aman Ahmed, Irfan Debretsion, Filmon Faisal, Tarig

2020, nr 4
artykuł
2024, nr 3, JTIT-artykuły
2024, nr 3, JTIT-artykuły
High-isolation Quad-port MIMO Antenna for 5G Applications, Journal of Telecommunications and Information Technology, 2024, nr 3

Saeed, Noor Haider Farhan, Malik Jasim Kareem, Qasim Hadi

2024, nr 3
artykuł
2024, nr 4, JTIT-artykuły
2024, nr 4, JTIT-artykuły
Examination of 5G NR, LTE, and NB-IoT Radio Interfaces and Their Vulnerabilities to Interference, Journal of Telecommunications and Information Technology, 2024, nr 4

Rajchowski, Piotr

2024, nr 4
artykuł
More
×

Citation

Citation style:

Contact details

Address

Instytut Łączności – Państwowy Instytut Badawczy ul. Szachowa 1 04-894 Warszawa

Phone

(+48) 5128 696

E-Mail

biblioteka@il-pib.pl

Visit us!

This page uses 'cookies'. More information