DMCA

On the Decidability of Cryptographic Group Protocols (2002)

by Ralf Küsters