dblp.uni-trier.dewww.uni-trier.de

Volker Kessler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
7EEVolkmar Lotz, Volker Kessler, Georg Walter: A Formal Security Model for Microprocessor Hardware. IEEE Trans. Software Eng. 26(8): 702-712 (2000)
1999
6EEVolkmar 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
4EEVolker Kessler, Heike Neumann: A Sound Logic for Analysing Electronic Commerce Protocols. ESORICS 1998: 345-360
1996
3EEGabriele 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
1EEVolker Kessler: On the Chinese Wall Model. ESORICS 1992: 41-54

Coauthor Index

1Volkmar Lotz [6] [7]
2Heike Neumann [4] [5]
3Georg Walter [6] [7]
4Gabriele Wedel [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)