Trevor Jim: SD3: A Trust Management System with Certified Evaluation. S&P 2001: 106-115