- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| j3 |      | David von Oheimb, Volkmar Lotz, Georg Walter: Analyzing SLE 88 memory management security using Interacting State Machines. Int. J. Inf. Sec. 4(3): 155-171 (2005) |
| 2003 | ||
| j2 | | Dieter Bartmann, Georg Walter, Oliver Wild, Andreas Wimmer: Retail Banking: Status quo und Entwicklungslinien. HMD - Praxis Wirtschaftsinform. 233 (2003) |
| c2 | | David von Oheimb, Georg Walter, Volkmar Lotz: A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. ESORICS 2003: 217-234 |
| 2000 | ||
| j1 | | Volkmar Lotz, Volker Kessler, Georg Walter: A Formal Security Model for Microprocessor Hardware. IEEE Trans. Software Eng. 26(8): 702-712 (2000) |
| 1999 | ||
| c1 | | Volkmar Lotz, Volker Kessler, Georg Walter: A Formal Security Model for Microprocessor Hardware. World Congress on Formal Methods 1999: 718-737 |
| 1 | Dieter Bartmann | |
| 2 | Volker Kessler | |
| 3 | Volkmar Lotz | |
| 4 | David von Oheimb | |
| 5 | Oliver Wild | |
| 6 | Andreas Wimmer |
Colors in the list of coauthors
Last update Tue May 21 07:12:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page