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]
Abstract is missing.