Patrick Horster Hartmut Isselhorst Approximative Public-Key-Kryptosysteme Informatik-Fachberichte 206 Springer 1989 3-540-50904-6