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}, publisher={IEEE}, proceedings_a={CHINACOM2008-NIS}, year={2008}, month={11}, keywords={trust relationship; trust level; model-based testing; formal model; labeled transition system}, doi={10.1109/CHINACOM.2008.4685180} }- Jianguo Chen
Xiaozhu Chen
Stefan Bruda
Year: 2008
Trust Value Assignment Using Model-based Testing
CHINACOM2008-NIS
IEEE
DOI: 10.1109/CHINACOM.2008.4685180
Abstract
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.
