Dedicated smart card security checking based on property driven model

Francis Chamberot; Xavier Kauffmann-Tourkestansky

Conference Papers Year : 2009

Dedicated smart card security checking based on property driven model

(1) , (1, 2)

1
2

Francis Chamberot

Function : Author

Oberthur Technologies

Xavier Kauffmann-Tourkestansky

Function : Author
PersonId : 867643

Oberthur Technologies

Laboratoire d'Informatique Fondamentale d'Orléans

Domains

Cryptography and Security [cs.CR]

Xavier Kauffmann-Tourkestansky : Connect in order to contact the contributor

https://hal.science/hal-00460546

Submitted on : Monday, March 1, 2010-3:36:01 PM

Last modification on : Saturday, June 25, 2022-10:11:00 AM

Dates and versions

hal-00460546 , version 1 (01-03-2010)

Identifiers

HAL Id : hal-00460546 , version 1

Cite

Francis Chamberot, Xavier Kauffmann-Tourkestansky. Dedicated smart card security checking based on property driven model. e-Smart, Sep 2009, Sophia-Antipolis, France. ⟨hal-00460546⟩

Dedicated smart card security checking based on property driven model

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share