BibTeX record conf/iwbis/IrianaS21

download as .bib file

@inproceedings{DBLP:conf/iwbis/IrianaS21,
  author       = {Alsita Putri Iriana and
                  Sepha Siswantyo},
  title        = {Formal Analysis of Kang et al.'s Authentication Protocol using Tamarin-Prover},
  booktitle    = {6th International Workshop on Big Data and Information Security, {IWBIS}
                  2021, Depok, Indonesia, October 23-25, 2021},
  pages        = {121--126},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/IWBIS53353.2021.9631852},
  doi          = {10.1109/IWBIS53353.2021.9631852},
  timestamp    = {Sun, 02 Oct 2022 16:10:41 +0200},
  biburl       = {https://dblp.org/rec/conf/iwbis/IrianaS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}