A B Formal Framework for Security Developments in the Domain of Smart Card Applications.

Frdric Dadeau, Marie-Laure Potet, Rgis Tissot

Browse the full SEC paper archive.