Xu Dong Hong, Qi Yong, Hou Di, Chen Ying. SpiG4WSC: A Calculus for Secure Services Composition. In 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA. pages 511-513, IEEE Computer Society, 2008. [doi]
@inproceedings{HongYDY08,
title = {SpiG4WSC: A Calculus for Secure Services Composition},
author = {Xu Dong Hong and Qi Yong and Hou Di and Chen Ying},
year = {2008},
doi = {10.1109/SCC.2008.47},
url = {http://doi.ieeecomputersociety.org/10.1109/SCC.2008.47},
tags = {composition},
researchr = {https://researchr.org/publication/HongYDY08},
cites = {0},
citedby = {0},
pages = {511-513},
booktitle = {2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3283-7},
}