@inproceedings{DPT08,
title = {A B Formal Framework for Security Developments in the Domain of Smart Card Applications },
author = {Dadeau, Fr\'ed\'eric and Potet, Marie-Laure and Tissot, R\'egis},
month = {sep},
year = {2008},
booktitle = {SEC'2008, 23rd int. Information Security Conference},
address = {Milano, Italy},
pages = {141--155},
publisher = {Springer},
series = {IFIP},
volume = {278},
team = {DCS,PACSS},
inhal = {no},
equipe = {vesontio},
editors = {Jajodia, S. and Samarati, P.},
}
