standard model

cryptographic proof context where only complexity assumptions are made

Κατηγορίες: