Universal concurrent constraint programing: symbolic semantics and applications to security