Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA<sup>+</sup>

Dewoprabowo, Ridhwan; Arzaki, Muhammad; Rusmawati, Yanti

doi:10.1109/icacsis.2018.8618173

Cited by 2 publications

(2 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An adversary cannot track the movement of a specific UE, because the V-RNTI value that is used by UE always keeps changing [40]. e design of the proposed scheme is used to achieve security objectives without any modification imposed on any other network node except minimal modifications at two network nodes, that is, UE and eNB [23,41,42].…”

Section: Preserving Privacy Location By Using Variable Pseudonym Schemementioning

confidence: 99%

“…is scheme ensures the unlinkability of UEs with minimal modifications at eNB, as shown below. Besides that, it introduces a negligible computation overhead at UE and an affordable computation overhead at eNB [40,43,44]. is scheme can easily be integrated with current mobile technology, and thus, location tracking is protected by it with a minimal cost.…”

Section: Preserving Privacy Location By Using Variable Pseudonym Schemementioning

confidence: 99%

See 1 more Smart Citation

A Novel Variable Pseudonym Scheme for Preserving Privacy User Location in 5G Networks

Saeed

Mokhtar

et al. 2022

Security and Communication Networks

View full text Add to dashboard Cite

Due to the development in 5G mobile communications, user privacy becomes the main challenge, especially with the multiplicity of services and applications that can be accessed. Location privacy is related to the user privacy in terms of the possibility of tracking and unwanted advertisements, as well as the possibility of exposure to suspicious activities and terrorist attacks based on the user location. Accordingly, previous mobile systems use pseudonyms instead of a permanent identity to preserving the user’s location privacy in mobile networks, by what is known as the Cellular Radio Network Temporary Identifiers (C-RNTIs). The C-RNTI protects the user privacy relatively, but it faces some problems due to the clear text of the user in CRNI exchange, which will make the user easily trackable by man-in-the-middle attack. This article aims at proposing a new algorithm that improves the user’s location privacy and enhances the capabilities of the 5G infrastructure in terms of confidentiality and privacy. The idea is based on the use of a novel variable pseudonym (V-RNTI) algorithm that acts as a radio channel identifier for the user, which improves the allocation of pseudonyms to identify users. The proposed algorithm uses different V-RNTI values by the UE and can be changed frequently to improve the pseudonym allocation procedure. This approach can be implemented in 3GPP standard architecture by upgrading UEs and eNB by minor modifications. During this study, the proposed 5G V-RNTI authentication protocol model was built. And then, the automated analysis of the protocol model is performed by using ProVerif Model Checker. The results showed that the model works well without any noticeable problems.

show abstract

Section: Preserving Privacy Location By Using Variable Pseudonym Schemementioning

confidence: 99%

Section: Preserving Privacy Location By Using Variable Pseudonym Schemementioning

confidence: 99%

A Novel Variable Pseudonym Scheme for Preserving Privacy User Location in 5G Networks

Saeed

Mokhtar

et al. 2022

Security and Communication Networks

View full text Add to dashboard Cite

show abstract

Identity Division Multiplexing Based Location Preserve in 5G

Saeed

Saeid

2021

2021 International Conference of Technology, Science and Administration (ICTSA)

View full text Add to dashboard Cite

Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA⁺

Cited by 2 publications

References 17 publications

A Novel Variable Pseudonym Scheme for Preserving Privacy User Location in 5G Networks

A Novel Variable Pseudonym Scheme for Preserving Privacy User Location in 5G Networks

Identity Division Multiplexing Based Location Preserve in 5G

Contact Info

Product

Resources

About

Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+

Cited by 2 publications

References 17 publications

A Novel Variable Pseudonym Scheme for Preserving Privacy User Location in 5G Networks

A Novel Variable Pseudonym Scheme for Preserving Privacy User Location in 5G Networks

Identity Division Multiplexing Based Location Preserve in 5G

Contact Info

Product

Resources

About

Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA⁺