To prove the security properties of the cryptosystem, Goldwasser and Micali proposed the widely used definition of semantic security.
Todistaakseen kryptosysteemin turvallisuusominaisuudet Goldwasser ja Micali esittelivät laajaan käyttöön levinneen semanttisen turvallisuuden käsitteen.