Alternative definition of IND-CPA