An identity management system with anonymous attribute predicate verification