Volker Kessler

According to our database, Volker Kessler authored at least 6 papers between 1992 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

A Formal Security Model for Microprocessor Hardware.

Volkmar Lotz, Volker Kessler, Georg Walter

IEEE Trans. Software Eng., 2000

1999

Formale Analyse von kryptographischen Protokollen mit BAN-Logik.

Heike Neumann, Volker Kessler

Datenschutz und Datensicherheit, 1999

1998

A Sound Logic for Analysing Electronic Commerce Protocols.

Volker Kessler, Heike Neumann

Proceedings of the Computer Security, 1998

1996

Formal Semantics for Authentication Logics.

Gabriele Wedel, Volker Kessler

Proceedings of the Computer Security, 1996

1994

AUTLOG - An Advanced Logic of Authentication.

Volker Kessler, Gabriele Wedel

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

1992

On the Chinese Wall Model.

Volker Kessler

Proceedings of the Computer Security, 1992