2000 |
7 | EE | Volkmar Lotz,
Volker Kessler,
Georg Walter:
A Formal Security Model for Microprocessor Hardware.
IEEE Trans. Software Eng. 26(8): 702-712 (2000) |
1999 |
6 | EE | Volkmar Lotz,
Volker Kessler,
Georg Walter:
A Formal Security Model for Microprocessor Hardware.
World Congress on Formal Methods 1999: 718-737 |
5 | | Heike Neumann,
Volker Kessler:
Formale Analyse von kryptographischen Protokollen mit BAN-Logik.
Datenschutz und Datensicherheit 23(2): (1999) |
1998 |
4 | EE | Volker Kessler,
Heike Neumann:
A Sound Logic for Analysing Electronic Commerce Protocols.
ESORICS 1998: 345-360 |
1996 |
3 | EE | Gabriele Wedel,
Volker Kessler:
Formal Semantics for Authentication Logics.
ESORICS 1996: 219-241 |
1994 |
2 | | Volker Kessler,
Gabriele Wedel:
AUTLOG - An Advanced Logic of Authentication.
CSFW 1994: 90-99 |
1992 |
1 | EE | Volker Kessler:
On the Chinese Wall Model.
ESORICS 1992: 41-54 |