Publikation
Verified Formal Security Models for Multiapplicative Smart Cards
Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul Karger; Vernon Austel; David Toll
In: Journal of Computer Security, Vol. 10, No. 4, Pages 339-367, 2002.
Publikation