by Hee, K.M. van and Sidorova, N. and Werf, J.M.E.M. van der
View PDF
Reference:
When Can We Trust a Third Party? – A Soundness Perspective (Hee, K.M. van and Sidorova, N. and Werf, J.M.E.M. van der), In Trans. Petri Nets and Other Models of Concurrency, Springer, volume 8100, 2013.
Bibtex Entry:
@article{HeeSW13a,
  author    = {Hee, {K.M. van} and Sidorova, {N.} and Werf, J.M.E.M. van der},
  title     = {When Can We Trust a Third Party? - {A} Soundness Perspective},
  journal   = {Trans. Petri Nets and Other Models of Concurrency},
  volume    = {8},
  pages     = {106--122},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8_6},
  series    = {Lecture Notes in Computer Science},
  volume    = {8100},
  publisher = {Springer},
}

When Can We Trust a Third Party? – A Soundness Perspective