PT Unknown AU Blaß, E TI Analyse, Verifikation und Realisierung kryptographischer Protokolle für flexible Zugriffe auf medizinische Datenbanken PY 2001 LA german ER