Enforcing Secure Service Composition

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari. Enforcing Secure Service Composition. In 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France. pages 211-223, IEEE Computer Society, 2005. [doi]

@inproceedings{BartolettiDF05,
  title = {Enforcing Secure Service Composition},
  author = {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
  year = {2005},
  doi = {10.1109/CSFW.2005.17},
  url = {http://dx.doi.org/10.1109/CSFW.2005.17},
  tags = {composition},
  researchr = {https://researchr.org/publication/BartolettiDF05},
  cites = {0},
  citedby = {0},
  pages = {211-223},
  booktitle = {18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2340-4},
}