BibTeX record conf/models/CianciaMMPMP12

• > Home > conf/models/CianciaMMPMP12

@inproceedings{DBLP:conf/models/CianciaMMPMP12,
  author       = {Vincenzo Ciancia and
                  Fabio Martinelli and
                  Ilaria Matteucci and
                  Marinella Petrocchi and
                  Jos{\'{e}} Antonio Mart{\'{\i}}n and
                  Ernesto Pimentel},
  title        = {A tool for the synthesis of cryptographic orchestrators},
  booktitle    = {Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS
                  2012, Innsbruck, Austria, October 1, 2012},
  pages        = {10},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2422498.2422508},
  doi          = {10.1145/2422498.2422508},
  timestamp    = {Sat, 30 Sep 2023 09:53:36 +0200},
  biburl       = {https://dblp.org/rec/conf/models/CianciaMMPMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}