Liu Wei-Peng Hu Ju A Formal Model of Trust and Security for Task-Oriented Information System. 502-506 2008 ISECS http://doi.ieeecomputersociety.org/10.1109/ISECS.2008.191 conf/isecs/2008 db/conf/isecs/isecs2008.html#Wei-PengJ08