A formal approach towards measuring trust in distributed systems
A LOGIC FOR UNCERTAIN PROBABILITIES