BibTeX record conf/euspn/ChetiouiOBCC19

• > Home > conf/euspn/ChetiouiOBCC19

@inproceedings{DBLP:conf/euspn/ChetiouiOBCC19,
  author       = {Kaouthar Chetioui and
                  Ghizlane Orhanou and
                  Hicham Bensaid and
                  Ilias Cherkaoui and
                  Youness Chibi},
  editor       = {Elhadi M. Shakshuki and
                  Ansar{-}Ul{-}Haque Yasar and
                  Haroon Malik},
  title        = {Formal Verification of Confidentiality in {DNSSEC} and {E-DNSSEC}
                  Protocols using pi-calculus and ProVerif},
  booktitle    = {The 10th International Conference on Emerging Ubiquitous Systems and
                  Pervasive Networks {(EUSPN} 2019) / The 9th International Conference
                  on Current and Future Trends of Information and Communication Technologies
                  in Healthcare {(ICTH-2019)} / Affiliated Workshops, Coimbra, Portugal,
                  November 4-7, 2019},
  series       = {Procedia Computer Science},
  volume       = {160},
  pages        = {752--757},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.procs.2019.11.015},
  doi          = {10.1016/J.PROCS.2019.11.015},
  timestamp    = {Wed, 10 Feb 2021 22:00:10 +0100},
  biburl       = {https://dblp.org/rec/conf/euspn/ChetiouiOBCC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}