?
Automated Analysis of Cryptographic Assumptions in Generic Group Models
P. 95-112.
Barthe G., Fagerholm E., Fiore D., Mitchell J. C., Schmidt B., Щедров А.
Язык:
английский
В книге
Vol. 8616. , Springer, 2014