Volker Kessler Gabriele Wedel AUTLOG - An Advanced Logic of Authentication. 1994 CSFW db/conf/csfw/csfw1994.html#KesslerR94 90-99