BibTeX record journals/ijnsec/LuHYWM20

download as .bib file

@article{DBLP:journals/ijnsec/LuHYWM20,
  author       = {Jintian Lu and
                  Xudong He and
                  Yitong Yang and
                  Dejun Wang and
                  Bo Meng},
  title        = {Automatic Verification of Security of Identity Federation Security
                  Protocol Based on {SAML2.0} with ProVerif in the Symbolic Model},
  journal      = {Int. J. Netw. Secur.},
  volume       = {22},
  number       = {1},
  pages        = {80--92},
  year         = {2020},
  url          = {http://ijns.jalaxy.com.tw/contents/ijns-v22-n1/ijns-2020-v22-n1-p80-92.pdf},
  timestamp    = {Mon, 04 Jan 2021 17:19:27 +0100},
  biburl       = {https://dblp.org/rec/journals/ijnsec/LuHYWM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}