Temporal Logic-Based Specification and Verification of Trust Models (2006)
| Venue: | Proc. 4th International Conference on Trust Management (iTrust 2006). LNCS 3986 |
| Citations: | 3 - 1 self |
BibTeX
@INPROCEEDINGS{Herrmann06temporallogic-based,
author = {Peter Herrmann},
title = {Temporal Logic-Based Specification and Verification of Trust Models},
booktitle = {Proc. 4th International Conference on Trust Management (iTrust 2006). LNCS 3986},
year = {2006},
pages = {105--119},
publisher = {Springer–Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Mutual trust is essential in performing economical transac-tions. In modern internet-based businesses, however, traditional trust gaining mechanisms cannot be used and new ways to build trust be-tween e-business partners have to be found. In consequence, a lot of models describing trust and the mechanisms to build it were developed. Unfortunately, most of these models neither provide the right formalism to model relevant aspects of the trust gaining process (e.g., context and time of a trust-related interaction), nor they allow refinement proofs ver-ifying that a trust management tool implements a certain trust model. Therefore, we propose the temporal logic-based specification and veri-fication technique cTLA which provides a formalism enabling to model context- and time-related aspects of a trust building process. Moreover, cTLA facilitates formal refinement proofs. In this paper, we discuss the application of cTLA to describe trust purposes by means of simple ex-ample systems which are used to decide about the application of certain policies based on the reputation of a party. In particular, we introduce a basic and a refined reputation system and sketch the proof that the refined system is a correct realization of the simple one. 1
Keyphrases
temporal logic-based specification trust model relevant aspect simple ex-ample system ctla facilitates formal refinement proof mutual trust time-related aspect economical transac-tions reputation system veri-fication technique ctla refined system traditional trust modern internet-based business trust-related interaction trust building process simple one new way right formalism trust management tool trust purpose certain policy trust be-tween e-business partner correct realization refinement proof ver-ifying certain trust model mechanism cannot
