Pierre Néron, Quang Huy Nguyen. A Formal Security Model of a Smart Card Web Server. In Emmanuel Prouff, editor, Smart Card Research and Advanced Applications - 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers. Volume 7079 of Lecture Notes in Computer Science, pages 34-49, Springer, 2011. [doi]
Abstract is missing.