Paper Info
Title
Formal Verification Of Confidentiality In Dnssec And E-Dnssec Protocols Using Pi-Calculus And Proverif
Abstract
Security protocols are very important in every communication over the Internet. They aim to deliver safe services by ensuring authentication, confidentiality and integrity of the data transiting in the network. So, each new proposed security protocol should be tested and formally verified to be sure of security features since deploying new protocols without analyzing their security properties could causes bad impact on sensitive data. In this paper, we present a formal model for the verification of the E-DNSSEC protocol which is proposed to add confidentiality property to the DNSSEC protocol. For that purpose, the article provides first a brief description of DNSSEC and E-DNSSEC protocols. After that, we present the resolution process of both DNSSEC and E-DNSSEC protocols. Then, we give a formal specification of these protocols in the applied 'pi-calculus'. Relying on this modeling, the confidentiality property of E-DNSSEC is verified by ProVerif. (C) 2019 The Authors. Published by Elsevier B.V.
Year
DOI
Venue
2019
10.1016/j.procs.2019.11.015
10TH INT CONF ON EMERGING UBIQUITOUS SYST AND PERVAS NETWORKS (EUSPN-2019) / THE 9TH INT CONF ON CURRENT AND FUTURE TRENDS OF INFORMAT AND COMMUN TECHNOLOGIES IN HEALTHCARE (ICTH-2019) / AFFILIATED WORKOPS
Keywords
Field
DocType
DNSSEC, E-DNSSEC, Verification, Confidentiality, ProVerif, Pi-calculus
Data mining,Authentication,Confidentiality,Cryptographic protocol,Computer science,Pi calculus,Computer security,Formal specification,Security properties,The Internet,Formal verification
Conference
Volume
ISSN
Citations 
160
1877-0509
0
PageRank 
References 
Authors
0.34
0
5
Name
Order
Citations
PageRank
Kaouthar Chetioui100.34
Ghizlane Orhanou200.34
Hicham Bensaid300.34
Ilias Cherkaoui400.34
Youness Chibi500.34