Geodesic
Provable security of digital signatures in the tamper-proof device model
Diskretnaya Matematika, Tome 20 (2008) no. 3, pp. 147-159

Voir la notice de l'article provenant de la source Math-Net.Ru

Proofs of security for practical signature schemes are known in idealised models only. In the present paper, we consider the tamper-proof device model that does not use ideal primitives. Instead of access to a random oracle each participant is provided with tamper-proof device implementing a private-key cryptosystem. The hash-value of a message to be signed is submitted to the tamper-proof device for encryption and this encrypted value is used in the signature generation algorithm. In this model, we prove, modulo a physical assumption, a necessary and sufficient condition for security of the GOST signature scheme. 
@article{DM_2008_20_3_a13,
     author = {N. P. Varnovskii},
     title = {Provable security of digital signatures in the tamper-proof device model},
     journal = {Diskretnaya Matematika},
     pages = {147--159},
     publisher = {mathdoc},
     volume = {20},
     number = {3},
     year = {2008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2008_20_3_a13/}
}
TY  - JOUR
AU  - N. P. Varnovskii
TI  - Provable security of digital signatures in the tamper-proof device model
JO  - Diskretnaya Matematika
PY  - 2008
SP  - 147
EP  - 159
VL  - 20
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2008_20_3_a13/
LA  - ru
ID  - DM_2008_20_3_a13
ER  - 
%0 Journal Article
%A N. P. Varnovskii
%T Provable security of digital signatures in the tamper-proof device model
%J Diskretnaya Matematika
%D 2008
%P 147-159
%V 20
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2008_20_3_a13/
%G ru
%F DM_2008_20_3_a13
N. P. Varnovskii. Provable security of digital signatures in the tamper-proof device model. Diskretnaya Matematika, Tome 20 (2008) no. 3, pp. 147-159. http://geodesic.mathdoc.fr/item/DM_2008_20_3_a13/