Verimag

bibtex

@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.},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 829380