Ahmed Patel An automatic computing approach to developing secure, trusted and auditable services for e-business. 2005 20 Comput. Syst. Sci. Eng. 6 db/journals/csse/csse20.html#Patel05