Trusted Types with Policy DEMO