離散対数問題の解決困難性に基づく公開鍵暗号方式。FIPS 186として規格化されている。