@misc{indiciae149be31053bc,
  title = {Combining behavioural types with security analysis},
  author = {Massimo Bartoletti and Ilaria Castellani and Pierre-Malo Deniélou and Mariangiola Dezani-Ciancaglini and Silvia Ghilezan and Jovanka Pantovic and Jorge A. Pérez and Peter Thiemann and Bernardo Toninho and Hugo Torres Vieira},
  year = {2015},
  doi = {10.1016/j.jlamp.2015.09.003},
  url = {https://arxiv.org/abs/1510.02229},
  note = {Source identifier: 1510.02229}
}