ChinaCom2008-Network and Information Security Symposium

Research Article

Trust Value Assignment Using Model-based Testing

  • @INPROCEEDINGS{10.1109/CHINACOM.2008.4685180,
        author={Jianguo Chen and Xiaozhu Chen and Stefan Bruda},
        title={Trust Value Assignment Using Model-based Testing},
        proceedings={ChinaCom2008-Network and Information Security Symposium},
        keywords={trust relationship; trust level; model-based testing; formal model; labeled transition system},
  • Jianguo Chen
    Xiaozhu Chen
    Stefan Bruda
    Year: 2008
    Trust Value Assignment Using Model-based Testing
    DOI: 10.1109/CHINACOM.2008.4685180
Jianguo Chen1,*, Xiaozhu Chen1,*, Stefan Bruda2,*
  • 1: College of Information Engineering China Jiliang University Hangzhou, 310018, China
  • 2: Department of Computer Science Bishop’s University Sherbrooke, Quebec J1M 1Z7, Canada
*Contact email:,,


Trust is an important aspect of decision making for the distributed computing applications such as electronic commerce and particularly influences the specification of security policy. There is often a level of trust associated with a relationship and there is a problem concerning representation of ignorance (or the unknown) with respect to trust. Jøsang’s Opinion Model, based on subjective logic, may be a suitable technique for assigning trust values in the face of uncertainty. However, its major weakness is that it cannot be guaranteed that users will accurately assign values appropriately. In this paper, we attempt to use formal methods in general and testing preorders in particular to model computing systems with regard to trust properties. The principal of trust is represented by the labeled transition systems and the direct trust level can be calculated by the testing preorders. The indirect trust level in the distributed systems is investigated further. Besides, the definition of trust, properties of trust relationships, and types of trust are also discussed.