BibTeX record conf/coordination/Vigano22

• > Home > conf/coordination/Vigano22

@inproceedings{DBLP:conf/coordination/Vigano22,
  author       = {Luca Vigan{\`{o}}},
  editor       = {Maurice H. ter Beek and
                  Marjan Sirjani},
  title        = {Formal Methods for Socio-technical Security - (Formal and Automated
                  Analysis of Security Ceremonies)},
  booktitle    = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2022, Held as Part of the 17th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2022, Lucca, Italy, June 13-17, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13271},
  pages        = {3--14},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08143-9\_1},
  doi          = {10.1007/978-3-031-08143-9\_1},
  timestamp    = {Tue, 28 Jun 2022 21:08:26 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Vigano22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}