On the equivalence of generic group models

Tibor Jager, Jörg Schwenk

ProvSec 2008

Tags: