ANALYSIS AND EVALUATION OF THE TETRA NETWORK SECURITY PROTOCOLS USING AUTOMATED ANALYSIS TOOLS

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

MOLLAZADEH M.; SABZINEGHAD M.; RASTAGHI R.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: JOURNAL OF ELECTRONIC AND CYBER DEFENCE Year:2018 | Volume:5 | Issue:4 (20) Page(s): 109-129

Download Full-Text

Persian Verion

View:

1,366

Download:

Cites:

Information Journal Paper

Title

ANALYSIS AND EVALUATION OF THE TETRA NETWORK SECURITY PROTOCOLS USING AUTOMATED ANALYSIS TOOLS

Author(s)

MOLLAZADEH M. | SABZINEGHAD M. | RASTAGHI R. | Issue Writer Certificate

Keywords

SECURITY ANALYSISQ1

FORMAL MODELSQ1

AUTOMATIC ANALYSIS TOOLSQ1

TETRA NETWORKQ1

Abstract

In this paper, the structure of the various versions of the TETRA security protocol is investigated in the “formal model” using Proverif and Scyther AUTOMATIC ANALYSIS TOOLS. The TETRA's network security protocol is a key-exchange one, in which two parties also establish a session key while authenticating each other. This protocol also uses pre-distributed secret keys which are based on the symmetric-encryption schemes. The SECURITY ANALYSIS of the protocol has been done in the “formal model”, using the Proverif and Scyther AUTOMATIC ANALYSIS TOOLS. Firstly, eight security features including Confidentiality, Authentication, Forward Secrecy, Unknown Key-Share security, Identical Session Key, Unknown Key Security, Anonymity, and Integrity are modeled in these frameworks, and then using both of the two tools, the security of the protocol is investigated regarding the mentioned features. Comparing the results of the formal analysis of these features with the informal analysis resulted from the open sources indicates that there are new security flows in the structure of the protocol respect to “Forward Secrecy” and “integrity”. Finally, several solutions are suggested to overcome these weaknesses.

Cites

No record.

References

No record.

Cite

APA: Copy

MOLLAZADEH, M., SABZINEGHAD, M., & RASTAGHI, R.. (2018). ANALYSIS AND EVALUATION OF THE TETRA NETWORK SECURITY PROTOCOLS USING AUTOMATED ANALYSIS TOOLS. JOURNAL OF ELECTRONIC AND CYBER DEFENCE, 5(4 (20) ), 109-129. SID. https://sid.ir/paper/243120/en

Vancouver: Copy

MOLLAZADEH M., SABZINEGHAD M., RASTAGHI R.. ANALYSIS AND EVALUATION OF THE TETRA NETWORK SECURITY PROTOCOLS USING AUTOMATED ANALYSIS TOOLS. JOURNAL OF ELECTRONIC AND CYBER DEFENCE[Internet]. 2018;5(4 (20) ):109-129. Available from: https://sid.ir/paper/243120/en

IEEE: Copy

M. MOLLAZADEH, M. SABZINEGHAD, and R. RASTAGHI, “ANALYSIS AND EVALUATION OF THE TETRA NETWORK SECURITY PROTOCOLS USING AUTOMATED ANALYSIS TOOLS,” JOURNAL OF ELECTRONIC AND CYBER DEFENCE, vol. 5, no. 4 (20) , pp. 109–129, 2018, [Online]. Available: https://sid.ir/paper/243120/en

Related Journal Papers