A Formal Model of Trust and Security for Task-Oriented Information System - Liu Wei-Peng; Hu Ju (Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, 2008)