Media type: E-Article Title: Smart Card Research and Advanced Applications: A Formal Security Model of a Smart Card Web Server Contributor: Neron, Pierre; Nguyen, Quang-Huy Published: Springer Berlin Heidelberg, 2011 Published in: Smart Card Research and Advanced Applications (2011), Seite 34-49 Language: Not determined DOI: 10.1007/978-3-642-27257-8_3 ISSN: 0302-9743; 1611-3349 Origination: Footnote: