@inproceedings{neron:hal-01596309, TITLE = {{A Formal Security Model of a Smart Card Web Server}}, AUTHOR = {Neron, Pierre and Nguyen, Quang-Huy}, URL = {https://inria.hal.science/hal-01596309}, NOTE = {Part 1: Smart Cards System Security}, BOOKTITLE = {{10th Smart Card Research and Advanced Applications (CARDIS)}}, ADDRESS = {Leuven, Belgium}, EDITOR = {Emmanuel Prouff}, PUBLISHER = {{Springer}}, SERIES = {Smart Card Research and Advanced Applications}, VOLUME = {LNCS-7079}, PAGES = {34-49}, YEAR = {2011}, MONTH = Sep, DOI = {10.1007/978-3-642-27257-8\_3}, PDF = {https://inria.hal.science/hal-01596309/file/978-3-642-27257-8_3_Chapter.pdf}, HAL_ID = {hal-01596309}, HAL_VERSION = {v1}, }