BibTeX record journals/istr/OkumuraOS20

download as .bib file

@article{DBLP:journals/istr/OkumuraOS20,
  author       = {Naomi Okumura and
                  Kazuhiro Ogata and
                  Yoichi Shinoda},
  title        = {Formal analysis of {RFC} 8120 authentication protocol for {HTTP} under
                  different assumptions},
  journal      = {J. Inf. Secur. Appl.},
  volume       = {53},
  pages        = {102529},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jisa.2020.102529},
  doi          = {10.1016/J.JISA.2020.102529},
  timestamp    = {Mon, 28 Aug 2023 21:25:14 +0200},
  biburl       = {https://dblp.org/rec/journals/istr/OkumuraOS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics