Gabriele Wedel

Publication Activity (10 Years)

Years Active: 1994-1996
Publications (10 Years): 0

Publications

Gabriele Wedel, Volker Kessler
Formal Semantics for Authentication Logics. ESORICS (1996)
Volker Kessler, Gabriele Wedel
AUTLOG - An Advanced Logic of Authentication. CSFW (1994)