Search the dblp DataBase
Volker Kessler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Volker Kessler, Gabriele Wedel
AUTLOG - An Advanced Logic of Authentication. [Citation Graph (0, 0)][DBLP]
CSFW, 1994, pp:90-99 [Conf] - Volker Kessler
On the Chinese Wall Model. [Citation Graph (0, 0)][DBLP]
ESORICS, 1992, pp:41-54 [Conf] - Volker Kessler, Heike Neumann
A Sound Logic for Analysing Electronic Commerce Protocols. [Citation Graph (0, 0)][DBLP]
ESORICS, 1998, pp:345-360 [Conf] - Gabriele Wedel, Volker Kessler
Formal Semantics for Authentication Logics. [Citation Graph (0, 0)][DBLP]
ESORICS, 1996, pp:219-241 [Conf] - Volkmar Lotz, Volker Kessler, Georg Walter
A Formal Security Model for Microprocessor Hardware. [Citation Graph (0, 0)][DBLP]
World Congress on Formal Methods, 1999, pp:718-737 [Conf] - Heike Neumann, Volker Kessler
Formale Analyse von kryptographischen Protokollen mit BAN-Logik. [Citation Graph (0, 0)][DBLP]
Datenschutz und Datensicherheit, 1999, v:23, n:2, pp:- [Journal] - Volkmar Lotz, Volker Kessler, Georg Walter
A Formal Security Model for Microprocessor Hardware. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 2000, v:26, n:8, pp:702-712 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002