Verified Formal Security Models for Multiapplicative Smart Cards

@article{pub1645,
    author = {

Schellhorn, Gerhard
 and 

Reif, Wolfgang
 and 

Schairer, Axel
 and 

Karger, Paul
 and 

Austel, Vernon
 and 

Toll, David
},
    title = {Verified Formal Security Models for Multiapplicative Smart Cards},
    year = {2002},
    volume = {10},
    number = {4},
    pages = {339--367},
    journal = {Journal of Computer Security}
}