Advanced search ?

Object

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:

Jul 13, 2021

In our library since:

Jul 13, 2021

Number of object content hits:

46

All available object's versions:

https://ribes-54.man.poznan.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 Jul 13, 2021

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ł
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ł
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ł
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
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ł
Observation of WiMAX Radio Parameters to Enhance Spectrum Utilization in Mixed Environment, Journal of Telecommunications and Information Technology, 2018, nr 1

Kliks Adrian Musznicki Bartosz Kołodziejski Michał Kowalik Karol Kryszkiewicz Paweł

2018
artykuł
Political and Economic Contexts of Implementing 5G in Poland and in Selected European Countries, Journal of Telecommunications and Information Technology, 2021, nr 2

Soler, Urszula

2021, nr 2
artykuł
A CPW-fed Sigma-shaped MIMO Antenna for Ka Band and 5G Communication Applications, Journal of Telecommunications and Information Technology, 2018, nr 4

Anilkumar, T. Lakshman, P. Devi, G. Jyothsna Madhav, B. T. P.

2018, 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