Verification of a Formal Security Model for Multiapplicative Smart Cards

@inproceedings{pub1617,
    author = {

Schellhorn, Gerhard
 and 

Reif, Wolfgang
 and 

Schairer, Axel
 and 

Karger, Paul
 and 

Austel, Vernon
 and 

Toll, David
},
    title = {Verification of a Formal Security Model for Multiapplicative Smart Cards},
    booktitle = {Computer Security -- Proceedings of the 6th European Symposium on Research in Computer Security (ESORICS 2000). European Symposium on Computer Security (ESORICS)},
    series = {LNCS},
    year = {2000},
    volume = {1895},
    pages = {17--36},
    publisher = {Springer}
}