@inproceedings{IcostKacemTK20,
  author    = {Mohamed Hadj Kacem and
               Imen Tounsi and
               Najeh Khalfi},
  title     = {Modeling and Specification of Bootstrapping and Registration Design
               Patterns for IoT Applications},
  booktitle = {The Impact of Digital Technologies on Public Health in Developed and
               Developing Countries - 18th International Conference, {ICOST} 2020,
               Hammamet, Tunisia, June 24-26, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12157},
  pages     = {55--66},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-51517-1\_5},
  doi       = {10.1007/978-3-030-51517-1\_5},
}