David von Oheimb, Georg Walter, Volkmar Lotz. A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. In Einar Snekkenes, Dieter Gollmann, editors, Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings. Volume 2808 of Lecture Notes in Computer Science, pages 217-234, Springer, 2003. [doi]
Abstract is missing.