Towards formal basis for security aspects of dynamic web services compositionDong-Hong XuYong Qiet al.2007TENCON 2007