BibTeX record conf/sin/FuK13a

• > Home > conf/sin/FuK13a

@inproceedings{DBLP:conf/sin/FuK13a,
  author       = {Yulong Fu and
                  Ousmane Kon{\'{e}}},
  editor       = {Atilla El{\c{c}}i and
                  Manoj Singh Gaur and
                  Mehmet A. Orgun and
                  Oleg B. Makarevich},
  title        = {A finite transition model for security protocol verification},
  booktitle    = {The 6th International Conference on Security of Information and Networks,
                  {SIN} '13, Aksaray, Turkey, November 26-28, 2013},
  pages        = {368--371},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2523514.2523564},
  doi          = {10.1145/2523514.2523564},
  timestamp    = {Tue, 06 Nov 2018 16:57:57 +0100},
  biburl       = {https://dblp.org/rec/conf/sin/FuK13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}