Formal reasoning on authentication in security protocols. Fattahi, J., Mejri, M., Ghayoula, R., & Pricop, E. In 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, Budapest, Hungary, October 9-12, 2016, pages 282–289, 2016. IEEE.
Formal reasoning on authentication in security protocols [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/smc/FattahiMGP16,
  author       = {Jaouhar Fattahi and
                  Mohamed Mejri and
                  Ridha Ghayoula and
                  Emil Pricop},
  title        = {Formal reasoning on authentication in security protocols},
  booktitle    = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2016, Budapest, Hungary, October 9-12, 2016},
  pages        = {282--289},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SMC.2016.7844255},
  doi          = {10.1109/SMC.2016.7844255},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smc/FattahiMGP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0