Validating a Trust-based Access Control System. | AMiner