Gwan-Hwan Hwang, Yu-Hsuan Chang, Tao-Ku Chang. An Operational Model and Language Support for Securing Web Services. In 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA. pages 463-470, IEEE Computer Society, 2007. [doi]
Abstract is missing.