Temporal Logic-Based Specification and Verification of Trust Models

@inproceedings{Herrmann2006TemporalLS,
  title={Temporal Logic-Based Specification and Verification of Trust Models},
  author={Peter Herrmann},
  booktitle={iTrust},
  year={2006}
}
Mutual trust is essential in performing economical transactions. In modern internet-based businesses, however, traditional trust gaining mechanisms cannot be used and new ways to build trust between 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… CONTINUE READING