Volker Kessler

Publication Activity (10 Years)

Years Active: 1992-2000
Publications (10 Years): 0

Publications

Volkmar Lotz, Volker Kessler, Georg Walter
A Formal Security Model for Microprocessor Hardware. IEEE Trans. Software Eng. 26 (8) (2000)
Heike Neumann, Volker Kessler
Formale Analyse von kryptographischen Protokollen mit BAN-Logik. Datenschutz und Datensicherheit 23 (2) (1999)
Volkmar Lotz, Volker Kessler, Georg Walter
A Formal Security Model for Microprocessor Hardware. World Congress on Formal Methods (1999)
Volker Kessler, Heike Neumann
A Sound Logic for Analysing Electronic Commerce Protocols. ESORICS (1998)
Gabriele Wedel, Volker Kessler
Formal Semantics for Authentication Logics. ESORICS (1996)
Volker Kessler, Gabriele Wedel
AUTLOG - An Advanced Logic of Authentication. CSFW (1994)
Volker Kessler
On the Chinese Wall Model. ESORICS (1992)