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

Georg Walter Vis

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

*2005
5EEDavid 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
4EEDavid von Oheimb, Georg Walter, Volkmar Lotz: A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. ESORICS 2003: 217-234
3EEDieter Bartmann, Georg Walter, Oliver Wild, Andreas Wimmer: Retail Banking: Status quo und Entwicklungslinien. HMD - Praxis Wirtschaftsinform. 233: (2003)
2000
2EEVolkmar Lotz, Volker Kessler, Georg Walter: A Formal Security Model for Microprocessor Hardware. IEEE Trans. Software Eng. 26(8): 702-712 (2000)
1999
1EEVolkmar Lotz, Volker Kessler, Georg Walter: A Formal Security Model for Microprocessor Hardware. World Congress on Formal Methods 1999: 718-737

Coauthor Index

1Dieter Bartmann [3]
2Volker Kessler [1] [2]
3Volkmar Lotz [1] [2] [4] [5]
4David von Oheimb [4] [5]
5Oliver Wild [3]
6Andreas Wimmer [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)