@article{CH2015,
  title = "Improving the ISO/IEC 11770 standard for key management techniques",
  author = "Cremers, Cas and Horvat, Marko",
  year = "2015",
  issn = "1615-5262",
  journal = "International Journal of Information Security",
  keywords = "Formal analysis; ISO; Protocol standards; Security protocols",
  language = "English",
  pages = "1-15",
  publisher = "Springer Berlin Heidelberg",
  url = "http://dx.doi.org/10.1007/s10207-015-0306-9",
  doi = "10.1007/s10207-015-0306-9",
}