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}
}