A novel formal framework for secure dynamic services compositionDong-Hong XuYong Qiet al.2008CIT 2008