Portal de Periódicos da CAPES

Soundness in the Public-Key Model

2001; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-44647-8_32

1611-3349

Silvio Micali, Leonid Reyzin,

Cryptographic Implementations and Security

The public-key model for interactive proofs has proved to be quite effective in improving protocol efficiency [CGGM00]. We argue, however, that its soundness notion is more subtle and complex than in the classical model, and that it should be better understood to avoid designing erroneous protocols. Specifically, for the public-key model, we