BibTeX records: Klaus Gaarder

• > Home > Persons > Klaus Gaarder

@article{DBLP:journals/joc/GaarderS91,
  author       = {Klaus Gaarder and
                  Einar Snekkenes},
  title        = {Applying a Formal Analysis Technique to the {CCITT} {X.509} Strong
                  Two-Way Authentication Protocol},
  journal      = {J. Cryptol.},
  volume       = {3},
  number       = {2},
  pages        = {81--98},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF00196790},
  doi          = {10.1007/BF00196790},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/joc/GaarderS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asiacrypt/GaarderS90,
  author       = {Klaus Gaarder and
                  Einar Snekkenes},
  editor       = {Jennifer Seberry and
                  Josef Pieprzyk},
  title        = {On The Formal Analysis of {PKCS} Authentication Protocols},
  booktitle    = {Advances in Cryptology - {AUSCRYPT} '90, International Conference
                  on Cryptology, Sydney, Australia, January 8-11, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {453},
  pages        = {106--121},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0030355},
  doi          = {10.1007/BFB0030355},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/asiacrypt/GaarderS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}