Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management